mpremote/mip: Raise an error if a file URL contains backslashes.

glenn20 · glenn20 · commit 90cf3a40ea2b · 2025-02-18T10:33:45.000+11:00
Warn the user that file URLs with backslashes are not supported, and
suggest using forward slashes instead.

Signed-off-by: Glenn Moloney &lt;glenn.moloney@gmail.com&gt;
diff --git a/tools/mpremote/mpremote/mip.py b/tools/mpremote/mpremote/mip.py
@@ -77,6 +77,11 @@ def _download_file(transport, url, dest):
         except urllib.error.URLError as e:
             raise CommandError(f"{e.reason} requesting {url}")
     else:
+        if "\\" in url:
+            raise CommandError(
+                f"File URLs with backslashes are not supported: {url!r}\n"
+                'Use "//" instead of "\\" in the URL.'
+            )
         try:
             with open(url, "rb") as f:
                 data = f.read()
