Skip to content

Commit 3f73a30

Browse files
github-actions[bot]GaetanLepage
authored andcommitted
generated: Updated lspconfig-servers.json
1 parent c55f0ca commit 3f73a30

File tree

2 files changed

+8
-2
lines changed

2 files changed

+8
-2
lines changed

generated/lspconfig-servers.json

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1147,8 +1147,8 @@
11471147
"name": "poryscript_pls"
11481148
},
11491149
{
1150-
"cmd": ["postgres_lsp", "lsp-proxy"],
1151-
"desc": "https://github.com/supabase/postgres_lsp\n\nA Language Server for Postgres\n ",
1150+
"cmd": ["postgrestools", "lsp-proxy"],
1151+
"desc": "https://pgtools.dev\n\nA collection of language tools and a Language Server Protocol (LSP) implementation for Postgres, focusing on developer experience and reliable SQL tooling.\n ",
11521152
"name": "postgres_lsp"
11531153
},
11541154
{
@@ -1735,6 +1735,11 @@
17351735
"desc": "https://github.com/nickbattle/vdmj\n\nThe VDMJ language server can be installed by cloning the VDMJ repository and\nrunning `mvn clean install`.\n\nVarious options are provided to configure the language server (see below). In\nparticular:\n- `annotation_paths` is a list of folders and/or jar file paths for annotations\nthat should be used with the language server;\n- any value of `debugger_port` less than zero will disable the debugger; note\nthat if a non-zero value is used, only one instance of the server can be active\nat a time.\n\nMore settings for VDMJ can be changed in a file called `vdmj.properties` under\n`root_dir/.vscode`. For a description of the available settings, see\n[Section 7 of the VDMJ User Guide](https://raw.githubusercontent.com/nickbattle/vdmj/master/vdmj/documentation/UserGuide.pdf).\n\nNote: proof obligations and combinatorial testing are not currently supported\nby neovim.\n",
17361736
"name": "vdmj"
17371737
},
1738+
{
1739+
"cmd": ["vectorcode-server"],
1740+
"desc": "https://github.com/Davidyz/VectorCode\n\nA Language Server Protocol implementation for VectorCode, a code repository indexing tool.\n ",
1741+
"name": "vectorcode_server"
1742+
},
17381743
{
17391744
"cmd": ["verible-verilog-ls"],
17401745
"desc": "https://github.com/chipsalliance/verible\n\nA linter and formatter for verilog and SystemVerilog files.\n\nRelease binaries can be downloaded from [here](https://github.com/chipsalliance/verible/releases)\nand placed in a directory on PATH.\n\nSee https://github.com/chipsalliance/verible/tree/master/verilog/tools/ls/README.md for options.\n ",

plugins/lsp/lsp-packages.nix

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -167,6 +167,7 @@
167167
"uvls"
168168
"v_analyzer"
169169
"vdmj"
170+
"vectorcode_server" # TODO: PR submitted to nixpkgs https://github.com/NixOS/nixpkgs/pull/394565
170171
"veridian"
171172
"visualforce_ls"
172173
# coqPackages.vscoq-language-server is unavailable since the bump to coq 9.0: https://github.com/NixOS/nixpkgs/pull/389454

0 commit comments

Comments
 (0)