diff -r 82b608e352ec -r 2bbec88047dd eric6/MicroPython/MicroPythonFileManager.py
--- a/eric6/MicroPython/MicroPythonFileManager.py Wed Apr 21 17:56:12 2021 +0200
+++ b/eric6/MicroPython/MicroPythonFileManager.py Wed Apr 21 19:40:50 2021 +0200
@@ -318,10 +318,11 @@
for sourceBasename in toAdd:
# name exists in source but not in device
sourceFilename = os.path.join(hostDirectory, sourceBasename)
- if deviceDirectory == "/":
- destFilename = "/" + sourceBasename
- else:
- destFilename = deviceDirectory + "/" + sourceBasename
+ destFilename = (
+ "/" + sourceBasename
+ if deviceDirectory == "/" else
+ deviceDirectory + "/" + sourceBasename
+ )
self.rsyncProgressMessage.emit(
self.tr("{1}Adding <b>{0}</b>...")
.format(destFilename, indentStr))
@@ -343,10 +344,11 @@
if mirror:
for destBasename in toDelete:
# name exists in device but not local, delete
- if deviceDirectory == "/":
- destFilename = "/" + sourceBasename
- else:
- destFilename = deviceDirectory + "/" + destBasename
+ destFilename = (
+ "/" + sourceBasename
+ if deviceDirectory == "/" else
+ deviceDirectory + "/" + destBasename
+ )
self.rsyncProgressMessage.emit(
self.tr("{1}Removing <b>{0}</b>...")
.format(destFilename, indentStr))
@@ -363,10 +365,11 @@
sourceStat = sourceDict[sourceBasename]
destStat = destinationDict[sourceBasename]
sourceFilename = os.path.join(hostDirectory, sourceBasename)
- if deviceDirectory == "/":
- destFilename = "/" + sourceBasename
- else:
- destFilename = deviceDirectory + "/" + sourceBasename
+ destFilename = (
+ "/" + sourceBasename
+ if deviceDirectory == "/" else
+ deviceDirectory + "/" + sourceBasename
+ )
destMode = destStat[0]
if os.path.isdir(sourceFilename):
if stat.S_ISDIR(destMode):
