Add ignorePATH option (#534)

* Add ignorePATH option

* Move ignorePATH logic to findLocalServer

Author: soiamsoNG

package.json

@@ -167,6 +167,12 @@
           "default": "keep-up-to-date",
           "markdownDescription": "Determine what to do when a new version of the language server is available."
         },
+        "haskell.ignorePATH": {
+          "scope": "resource",
+          "type": "boolean",
+          "default": false,
+          "description": "Whether to ignore haskell-language-server on PATH"
+        },
         "haskell.checkProject": {
           "scope": "resource",
           "type": "boolean",
@@ -429,4 +435,4 @@
     "which": "^2.0.1",
     "yauzl": "^2.10.0"
   }
-}
+}

src/extension.ts

@@ -122,8 +122,15 @@ function findManualExecutable(logger: Logger, uri: Uri, folder?: WorkspaceFolder
   return exePath;
 }
 
-/** Searches the PATH for whatever is set in serverVariant */
+/** Searches the PATH for whatever is set in serverVariant
+ *
+ * return null when **haskell.ignorePATH** set
+ */
 function findLocalServer(context: ExtensionContext, logger: Logger, uri: Uri, folder?: WorkspaceFolder): string | null {
+  if (workspace.getConfiguration('haskell').get('ignorePATH') === true) {
+    logger.info('Ignoring haskell-language-server on PATH');
+    return null;
+  }
   const exes: string[] = ['haskell-language-server-wrapper', 'haskell-language-server'];
   logger.info(`Searching for server executables ${exes.join(',')} in $PATH`);
   logger.info(`$PATH environment variable: ${process.env.PATH}`);