fix to tackle semi hardcoded proB path

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
 

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()