fix: added simpler option to set proB path

package.json

@@ -44,6 +44,11 @@
 					],
 					"default": "off",
 					"description": "Traces the communication between VS Code and the language server."
+				},
+				"languageServerExample.probHome":{
+					"type":"string",
+					"default":"~/prob_prolog/probcli.sh",
+					"description": "Path to ProB executable"
 				}
 			}
 		}

server/src/server.ts

@@ -90,12 +90,13 @@ connection.onInitialized(() => {
 // The example settings
 interface ExampleSettings {
 	maxNumberOfProblems: number;
+	probHome : string;
 }
 
 // The global settings, used when the `workspace/configuration` request is not supported by the client.
 // Please note that this is not the case when using this server with the client provided in this example
 // but could happen with other clients.
-const defaultSettings: ExampleSettings = { maxNumberOfProblems: 1000 };
+const defaultSettings: ExampleSettings = { maxNumberOfProblems: 1000, probHome: "/home/sebastian/prob_prolog/probcli.sh" };
 let globalSettings: ExampleSettings = defaultSettings;
 
 // Cache the settings of all open documents
@@ -154,7 +155,9 @@ async function validateTextDocument(textDocument: TextDocument): Promise<void> {
 
 	let dic:string = pathy.dir
 
-	let probCliHome:string = '/home/sebastian/prob_prolog/probcli.sh'
+	console.log(settings.probHome)
+	
+	let probCliHome:string = settings.probHome//'/home/sebastian/prob_prolog/probcli.sh'
 
 	let ndjson:string = 'NDJSON_ERROR_LOG_FILE '
 	let errorPath:string = dic+'/_error.json'