From 6899cf416022ebdf05f2a3f963a7c08f638cc977 Mon Sep 17 00:00:00 2001 From: Francisco Pronto Date: Sat, 14 Sep 2024 20:32:54 +0100 Subject: [PATCH] Removed unnecessary use of node to run a a bash script --- vscode/src/devtoolsserver.ts | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/vscode/src/devtoolsserver.ts b/vscode/src/devtoolsserver.ts index 0487c038de..21080c5af3 100644 --- a/vscode/src/devtoolsserver.ts +++ b/vscode/src/devtoolsserver.ts @@ -927,6 +927,7 @@ export class DeveloperToolsManager extends JDEventSource { "devicescript.jacdac" ) const isWindows = globalThis.process?.platform === "win32" + const isLinux = globalThis.process?.platform === "linux" const useShell = this.lastCreateCliFailed || (options.useShell ?? !!devToolsConfig.get("shell")) @@ -939,6 +940,9 @@ export class DeveloperToolsManager extends JDEventSource { const internet = options.internet || !!devToolsConfig.get("internet") let cli = nodePath || "node" + if(isLinux) { + cli = ""; + } if (isWindows) { cli = "node_modules\\.bin\\devicescript.cmd" } else args.unshift("./node_modules/.bin/devicescript")