tools/pyboard.py: Support Windows pathname separators.

Addresses issue #9132.
pull/9309/head
Wind-stormger 2022-08-30 11:30:12 +08:00 zatwierdzone przez Damien George
rodzic 2d4e7e99bf
commit 57fd66b80f
1 zmienionych plików z 3 dodań i 3 usunięć

Wyświetl plik

@ -582,12 +582,12 @@ def filesystem_command(pyb, args, progress_callback=None, verbose=False):
return src
def fname_cp_dest(src, dest):
src = src.rsplit("/", 1)[-1]
_, src = os.path.split(src)
if dest is None or dest == "":
dest = src
elif dest == ".":
dest = "./" + src
elif dest.endswith("/"):
dest = os.path.join(".", src)
elif dest.endswith(os.path.sep):
dest += src
return dest