godotengine/godot-vscode-plugin
1
0
Fork 0
mirror of https://github.com/godotengine/godot-vscode-plugin.git synced 2025-12-31 13:48:24 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #138 from sevkin/137

Browse Source 
check before calling platform-specific code
This commit is contained in:
Geequlim
2020-01-26 16:27:00 +08:00
committed by GitHub
parent 8d8f5c2d9b c41bd642f0
commit cf22aa3595
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/godot-tools.ts
View File

@@ -70,7 +70,7 @@ export class GodotTools {
let cmdEsc = `"${cmd}"`;
const shell_plugin = vscode.workspace.getConfiguration("terminal.integrated.shell");
let shell = shell_plugin ? shell_plugin.get("windows", "") || "" : "";
if (shell.endsWith("powershell.exe") && process.platform === "win32") {
if (process.platform === "win32" && shell.endsWith("powershell.exe")) {
cmdEsc = `&${cmdEsc}`;
}
return cmdEsc;