aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXChy <xxs_chy@outlook.com>2024-04-22 09:32:56 +0800
committerGitHub <noreply@github.com>2024-04-22 03:32:56 +0200
commit4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b (patch)
treedb081693ed8067d6eb6b66ac01f0ad101e24cf3d
parentfeat: add gitlab-ci-ls (#391) (diff)
downloadmason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.tar
mason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.tar.gz
mason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.tar.bz2
mason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.tar.lz
mason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.tar.xz
mason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.tar.zst
mason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.zip
feat: add `coq_lsp` support (#393)
-rw-r--r--README.md1
-rw-r--r--doc/mason-lspconfig-mapping.txt1
-rw-r--r--doc/server-mapping.md1
-rw-r--r--lua/mason-lspconfig/mappings/filetype.lua1
-rw-r--r--lua/mason-lspconfig/mappings/server.lua1
5 files changed, 5 insertions, 0 deletions
diff --git a/README.md b/README.md
index c7eed8f..402d613 100644
--- a/README.md
+++ b/README.md
@@ -204,6 +204,7 @@ local DEFAULT_SETTINGS = {
| Clarity | `clarity_lsp` |
| Clojure | `clojure_lsp` |
| CodeQL | `codeqlls` |
+| Coq | `coq_lsp` |
| Autoconf | `autotools_ls` |
| Crystal | `crystalline` |
| Cucumber | `cucumber_language_server` |
diff --git a/doc/mason-lspconfig-mapping.txt b/doc/mason-lspconfig-mapping.txt
index 2eef910..5ea63cf 100644
--- a/doc/mason-lspconfig-mapping.txt
+++ b/doc/mason-lspconfig-mapping.txt
@@ -31,6 +31,7 @@ clarity-lsp clarity_lsp
clojure-lsp clojure_lsp
cmake-language-server cmake
codeql codeqlls
+coq-lsp coq_lsp
crystalline crystalline
csharp-language-server csharp_ls
css-lsp cssls
diff --git a/doc/server-mapping.md b/doc/server-mapping.md
index b9e20f7..04f9779 100644
--- a/doc/server-mapping.md
+++ b/doc/server-mapping.md
@@ -28,6 +28,7 @@
| [clojure_lsp](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#clojure_lsp) | [clojure-lsp](https://mason-registry.dev/registry/list#clojure-lsp) |
| [cmake](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#cmake) | [cmake-language-server](https://mason-registry.dev/registry/list#cmake-language-server) |
| [codeqlls](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#codeqlls) | [codeql](https://mason-registry.dev/registry/list#codeql) |
+| [coq_lsp](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#coq_lsp) | [coq-lsp](https://mason-registry.dev/registry/list#coq-lsp) |
| [crystalline](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#crystalline) | [crystalline](https://mason-registry.dev/registry/list#crystalline) |
| [csharp_ls](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#csharp_ls) | [csharp-language-server](https://mason-registry.dev/registry/list#csharp-language-server) |
| [cssls](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#cssls) | [css-lsp](https://mason-registry.dev/registry/list#css-lsp) |
diff --git a/lua/mason-lspconfig/mappings/filetype.lua b/lua/mason-lspconfig/mappings/filetype.lua
index 75408f4..38a5f1b 100644
--- a/lua/mason-lspconfig/mappings/filetype.lua
+++ b/lua/mason-lspconfig/mappings/filetype.lua
@@ -31,6 +31,7 @@ return {
comp = { "glsl_analyzer", "glslls" },
config = { "autotools_ls" },
context = { "ltex" },
+ coq = { "coq_lsp" },
cpp = { "ast_grep", "clangd" },
crystal = { "crystalline" },
cs = { "csharp_ls", "omnisharp", "omnisharp_mono" },
diff --git a/lua/mason-lspconfig/mappings/server.lua b/lua/mason-lspconfig/mappings/server.lua
index c1f3263..1c06831 100644
--- a/lua/mason-lspconfig/mappings/server.lua
+++ b/lua/mason-lspconfig/mappings/server.lua
@@ -31,6 +31,7 @@ M.lspconfig_to_package = {
["clojure_lsp"] = "clojure-lsp",
["cmake"] = "cmake-language-server",
["codeqlls"] = "codeql",
+ ["coq_lsp"] = "coq-lsp",
["crystalline"] = "crystalline",
["csharp_ls"] = "csharp-language-server",
["cssls"] = "css-lsp",