--- 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)