diff options
author | Damien George <damien@micropython.org> | 2023-03-22 15:17:55 +1100 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2023-03-22 15:19:09 +1100 |
commit | b5ceb9d5773d04a69dc92cb56e8e6b97043409b3 (patch) | |
tree | 713a515b942909e21a056204c7033cc7f5c3024d /tools/pyboard.py | |
parent | d54208a2ff2ff8c2104597f715a586541ac6e663 (diff) |
tools/pyboard.py: Fix joining of path in filesystem_command.
This was broken by 5327cd1021dc92cad428ff44cb114c4a94c0bc45
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'tools/pyboard.py')
-rwxr-xr-x | tools/pyboard.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/pyboard.py b/tools/pyboard.py index 9e0b0f18e..29af27f02 100755 --- a/tools/pyboard.py +++ b/tools/pyboard.py @@ -671,7 +671,7 @@ def filesystem_command(pyb, args, progress_callback=None, verbose=False): if dest is None or dest == "": dest = src elif dest == ".": - dest = "/".join(".", src) + dest = "./" + src elif dest.endswith("/"): dest += src return dest |