Allow language servers with custom paths

.github/workflows/release.yml

@@ -78,8 +78,6 @@ jobs:
 
     steps:
       - uses: actions/checkout@v2
-        with:
-          submodules: recursive
 
       - name: Download binaries artifacts
         uses: actions/download-artifact@v3
@@ -102,3 +100,10 @@ jobs:
           draft: false
           files: |
             vscode/*.vsix
+
+      - name: Publish
+        run: |
+          cd vscode
+          npm run deploy
+        env:
+          VSCE_PAT: ${{ secrets.VSCE_PAT }}

vscode/README.md

@@ -31,10 +31,16 @@ somewhere in `PATH`.
 This extension provides configuration through VSCode's configuration settings.
 All configuration settings are under `zeekLanguageServer.*`.
 
+- `zeekLanguageServer.path`: if set used to launch the language server
+  executable; if unset the executable is looked up in `PATH`.
 - `zeekLanguageServer.zeekBinaryDirectory`: directory containing Zeek
   executables. If unset we will attempt to find them in PATH.
 - `zeekLanguageServer.checkZeekFormat`: check for zeek-format
   on startup
 - `zeekLanguageServer.ZEEKPATH`: Colon-separated list of alternative Zeek
   prefixes to use. By default prefixes are determined from the output of
   `zeek-config`.
+- `zeekLanguageServer.checkForUpdates`: Check for updates of the server binary
+  on startup. By default we check if `zeekLanguageServer.path` is set. This
+  should only be needed if not using a server binary bundled with the
+  extension.