Add default for linux

effekt-lang · May 12, 2020 · 0c1eda7 · 0c1eda7
1 parent 57ebd94
commit 0c1eda7
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/extension.ts b/src/extension.ts
@@ -13,7 +13,11 @@ export function activate(context: ExtensionContext) {
 
     let folders = workspace.workspaceFolders || []
 
-    let defaultEffekt = platform() == 'win32' ? "effekt.cmd" : "effekt";
+    let defaultEffekt = "effekt";
+    let os = platform();
+
+    if (os == 'win32') { defaultEffekt = "effekt.cmd" }
+    else if (os == 'linux' || os == 'freebsd' || os == 'openbsd') { defaultEffekt = "effekt.sh" }
 
     let effektCmd = config.get<string>("executable") || defaultEffekt