src/eric7/MicroPython/MicroPythonFileManagerWidget.py

branch
eric7
changeset 10898
8349907e1319
parent 10896
9cbbed624751
child 10911
9cccac01156f
--- a/src/eric7/MicroPython/MicroPythonFileManagerWidget.py	Sat Aug 31 15:54:24 2024 +0200
+++ b/src/eric7/MicroPython/MicroPythonFileManagerWidget.py	Sat Aug 31 15:54:47 2024 +0200
@@ -1057,9 +1057,7 @@
                 aw.setFileName(filename)
             else:
                 filename = (
-                    f"{devicePath}/{filename}"
-                    if devicePath != "/"
-                    else f"/{filename}"
+                    f"{devicePath}/{filename}" if devicePath != "/" else f"/{filename}"
                 )
                 dirname = filename.rsplit("/", 1)[0]
                 self.__fileManager.makedirs(dirname)

eric ide

mercurial