diff options
Diffstat (limited to 'client/src/extension.ts')
| -rw-r--r-- | client/src/extension.ts | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/client/src/extension.ts b/client/src/extension.ts index 83f45544..83a8f414 100644 --- a/client/src/extension.ts +++ b/client/src/extension.ts @@ -50,6 +50,8 @@ export function activate(context: ExtensionContext) { fs.chmodSync(command, '777'); break; } + + let beta: boolean = workspace.getConfiguration("Lua.zzzzzz").get("cat"); let serverOptions: ServerOptions = { command: command, @@ -57,9 +59,10 @@ export function activate(context: ExtensionContext) { '-E', '-e', 'LANG="' + language + '"', - context.asAbsolutePath( - path.join('server', 'main.lua') - ) + context.asAbsolutePath(path.join( + beta ? 'server-beta' : 'server', + 'main.lua' + )) ] }; |