Merge pull request #715 from afdw/vscoq-path-cmd

Run `vscoq.path` as a shell command from the project directory
coq · Jan 30, 2024 · a972953 · a972953
2 parents b257360 + 25c3357
commit a972953
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/client/src/utilities/toolchain.ts b/client/src/utilities/toolchain.ts
@@ -63,7 +63,11 @@ export default class VsCoqToolchainManager implements Disposable {
         const config = workspace.getConfiguration('vscoq');
         const serverOptions : ServerOptions = {
             command: this._vscoqtopPath, 
-            args: config.args
+            args: config.args,
+            options: {
+                cwd: workspace.rootPath,
+                shell: true,
+            },
         };
         return serverOptions;
     };
@@ -125,7 +129,7 @@ export default class VsCoqToolchainManager implements Disposable {
         const cmd = [this._vscoqtopPath].concat(options).join(' ');
 
         return new Promise((resolve, reject: ((reason: ToolchainError) => void)) => {
-            exec(cmd, (error, stdout, stderr) => {
+            exec(cmd, {cwd: workspace.rootPath}, (error, stdout, stderr) => {
 
                 if(error) {
                     reject({
@@ -160,7 +164,7 @@ export default class VsCoqToolchainManager implements Disposable {
         const cmd = [this._vscoqtopPath].concat(options).join(' ');
 
         return new Promise((resolve, reject: (reason: string) => void) => {
-            exec(cmd, (error, stdout, stderr) => {
+            exec(cmd, {cwd: workspace.rootPath}, (error, stdout, stderr) => {
                 if(error) {
                     reject(stderr);
                 } else {