Fix #252, py-launcher compatibility

Signed-off-by: paulober <44974737+paulober@users.noreply.github.com>

CHANGELOG.md

@@ -10,6 +10,12 @@ All notable changes to the "MicroPico" extension will be documented in this file
 
 ---
 
+## [4.0.5] - 2024-09-16
+
+### Changed
+
+- Fix #252, py-launcher compatibility
+
 ## [4.0.4] - 2024-09-13
 
 ### Added

package.json

@@ -2,7 +2,7 @@
   "name": "pico-w-go",
   "displayName": "MicroPico",
   "description": "Auto-completion, remote workspace and a REPL console integration for the Raspberry Pi Pico boards running MicroPython firmware.",
-  "version": "4.0.4",
+  "version": "4.0.5",
   "publisher": "paulober",
   "license": "MPL-2.0",
   "homepage": "https://github.com/paulober/MicroPico/blob/main/README.md",

src/stubs.mts

@@ -303,7 +303,6 @@ export async function installStubsByVersion(
 
     const pyCmd = python3 ?? py;
     if (pyCmd !== null) {
-      // TODO: check windows pylauncher compatibility
       const result = execSync(pyCmd + " -m pip");
       if (result.toString("utf-8").toLowerCase().includes("no module named")) {
         void window.showErrorMessage(
@@ -313,7 +312,7 @@ export async function installStubsByVersion(
 
         return false;
       }
-      command = `${pyCmd} -m pip`;
+      command = `"${pyCmd}" -m pip`;
     } else {
       void window.showErrorMessage(
         "python3 or py is required (in PATH) to install" +
@@ -324,7 +323,7 @@ export async function installStubsByVersion(
     }
   } else {
     assert(pip3 !== null || pip !== null);
-    command = (pip3 ?? pip)!;
+    command = `"${(pip3 ?? pip)!}"`;
   }
 
   const folderName = `${port}==${version}`;
@@ -334,7 +333,7 @@ export async function installStubsByVersion(
   const isWin = process.platform === "win32";
   // install stubs with pip vscode user directory
   const result = execSync(
-    `${isWin ? "&" : ""}"${command}" install ${port}==${version} ` +
+    `${isWin ? "&" : ""}${command} install ${port}==${version} ` +
       `--target "${target}" --no-user`,
     isWin ? { shell: "powershell" } : {}
   );