Damien George 5327cd1021 tools/pyboard.py: Use '/' exclusively when dealing with paths. ... Currently, certain mpremote filesystem operations can fail on Windows due to a mixing of '/' and '\' for path separators. Eg if filesystem_command() is called with a destination that ends in / then dest.endswith(os.path.sep) will return False, which gives the wrong behaviour (it does end in a path separator). For similar reasons to 7e9a15966a, it's best to use '/' everywhere in pyboard.py and mpremote, because the target device understands only '/'. mpremote already does this, so the remaining place to fix it is in pyboard.y, to convert all incoming paths to use '/' instead of '\'. This effectively reverts 57fd66b80f which tried to fix the problem in a different way. See also related 1f84440538. Signed-off-by: Damien George <damien@micropython.org>		2023-02-24 13:08:34 +11:00
..
autobuild	…
mpremote	…
.gitattributes	…
.gitignore	…
cc1	…
ci.sh	…
codeformat.py	…
codestats.sh	…
dfu.py	…
file2h.py	…
gen-changelog.sh	…
gen-cpydiff.py	…
insert-usb-ids.py	…
makemanifest.py	…
manifestfile.py	…
metrics.py	…
mpy-tool.py	…
mpy_bin2res.py	…
mpy_cross_all.py	…
mpy_ld.py	…
pyboard.py	tools/pyboard.py: Use '/' exclusively when dealing with paths.	2023-02-24 13:08:34 +11:00
pydfu.py	…
tinytest-codegen.py	…
uf2conv.py	…
uf2families.json	…
uncrustify.cfg	…
verifygitlog.py	…