mpremote/mip: Simplify error message for file URLs with backslashes.

glenn20 · glenn20 · commit f48655db06a5 · 2025-02-18T13:05:29.000+11:00
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
@@ -78,10 +78,7 @@ def _download_file(transport, url, dest):
             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.'
-            )
+            raise CommandError(f'Use "/" instead of "\\" in file URLs: {url!r}\n')
         try:
             with open(url, "rb") as f:
                 data = f.read()
