From 886ecadf47ea35582b02100a3265e6ccdde33b3f Mon Sep 17 00:00:00 2001 From: SeeBasTStick <sebastian.stock@hhu.de> Date: Fri, 22 May 2020 10:45:25 +0200 Subject: [PATCH] fix to tackle semi hardcoded proB path --- README.md | 2 ++ server/src/server.ts | 4 ++-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index c885a3d..770042d 100644 --- a/README.md +++ b/README.md @@ -22,6 +22,8 @@ This extension contributes the following settings: * `languageServer.strictChecks`: to enable/disable stricter Checks. Make sure to enable/disable for the current workspace too. +Please note that user settings overwrite workspace settings. + ## Bugs - please open an issue at https://github.com/SeeBasTStick/b-eventb-language-extension diff --git a/server/src/server.ts b/server/src/server.ts index b3c4e80..da95a95 100644 --- a/server/src/server.ts +++ b/server/src/server.ts @@ -95,7 +95,7 @@ interface Settings { const defaultSettings: Settings = { maxNumberOfProblems: 1000, - probHome: "/home/sebastian/prob_prolog/probcli.sh", + probHome: "~/prob_prolog/probcli.sh", strictChecks : false, wdChecks : false }; @@ -161,7 +161,7 @@ async function validateTextDocument(textDocument: TextDocument): Promise<void> { let diagnosticsPromise : Promise<Set<Diagnostic>> console.log(command) - if(correctPath(globalSettings.probHome)) + if(correctPath(settings.probHome)) { exec(command, (err:string, stdout:string, stderr:string) => { let bla = new ErrorMatcher() -- GitLab