aboutsummaryrefslogtreecommitdiffstats
path: root/lua
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 /lua
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)
Diffstat (limited to 'lua')
-rw-r--r--lua/mason-lspconfig/mappings/filetype.lua1
-rw-r--r--lua/mason-lspconfig/mappings/server.lua1
2 files changed, 2 insertions, 0 deletions
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",