diff -r 3859ac3b012a -r 83d59e29bd91 src/eric7/MicroPython/MicroPythonFileManager.py --- a/src/eric7/MicroPython/MicroPythonFileManager.py Tue Jul 19 17:04:10 2022 +0200 +++ b/src/eric7/MicroPython/MicroPythonFileManager.py Tue Jul 19 17:04:54 2022 +0200 @@ -272,7 +272,10 @@ self.tr("{1}Adding <b>{0}</b>...").format(destFilename, indentStr) ) if os.path.isfile(sourceFilename): - shutil.copy2(sourceFilename, destFilename) + try: + shutil.copy2(sourceFilename, destFilename) + except OSError as err: + errors.append(str(err)) elif os.path.isdir(sourceFilename): # recurse errs = self.__rsync(