mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-20 16:15:43 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

generated: Updated lspconfig-servers.json

Browse source
This commit is contained in:
github-actions[bot] 2025-03-29 12:13:36 +00:00 • committed by Gaetan Lepage
parent c55f0cadea
commit 3f73a301d6
2 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
generated/lspconfig-servers.json
View file

@ -1147,8 +1147,8 @@
"name": "poryscript_pls"
},
{
"cmd": ["postgres_lsp", "lsp-proxy"],
"desc": "https://github.com/supabase/postgres_lsp\n\nA Language Server for Postgres\n ",
"cmd": ["postgrestools", "lsp-proxy"],
"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 ",
"name": "postgres_lsp"
},
{
@ -1735,6 +1735,11 @@
"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",
"name": "vdmj"
},
{
"cmd": ["vectorcode-server"],
"desc": "https://github.com/Davidyz/VectorCode\n\nA Language Server Protocol implementation for VectorCode, a code repository indexing tool.\n ",
"name": "vectorcode_server"
},
{
"cmd": ["verible-verilog-ls"],
"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 ",

1
plugins/lsp/lsp-packages.nix
View file

@ -167,6 +167,7 @@
"uvls"
"v_analyzer"
"vdmj"
"vectorcode_server" # TODO: PR submitted to nixpkgs https://github.com/NixOS/nixpkgs/pull/394565
"veridian"
"visualforce_ls"
# coqPackages.vscoq-language-server is unavailable since the bump to coq 9.0: https://github.com/NixOS/nixpkgs/pull/389454