diff options
| author | Jaehwang Jung <tomtomjhj@gmail.com> | 2023-10-02 14:50:43 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-02 13:50:43 +0800 |
| commit | 5c49614c5086dae72e303136c29cdfd5bc2aef8d (patch) | |
| tree | 8bb1314876647cc22dd6e3bc3b77c1d83ded53af /lua | |
| parent | docs: update server_configurations.md (diff) | |
| download | nvim-lspconfig-5c49614c5086dae72e303136c29cdfd5bc2aef8d.tar nvim-lspconfig-5c49614c5086dae72e303136c29cdfd5bc2aef8d.tar.gz nvim-lspconfig-5c49614c5086dae72e303136c29cdfd5bc2aef8d.tar.bz2 nvim-lspconfig-5c49614c5086dae72e303136c29cdfd5bc2aef8d.tar.lz nvim-lspconfig-5c49614c5086dae72e303136c29cdfd5bc2aef8d.tar.xz nvim-lspconfig-5c49614c5086dae72e303136c29cdfd5bc2aef8d.tar.zst nvim-lspconfig-5c49614c5086dae72e303136c29cdfd5bc2aef8d.zip | |
feat: add coq-lsp (#2850)
Diffstat (limited to 'lua')
| -rw-r--r-- | lua/lspconfig/server_configurations/coq_lsp.lua | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/lua/lspconfig/server_configurations/coq_lsp.lua b/lua/lspconfig/server_configurations/coq_lsp.lua new file mode 100644 index 00000000..aa492d4a --- /dev/null +++ b/lua/lspconfig/server_configurations/coq_lsp.lua @@ -0,0 +1,17 @@ +local util = require 'lspconfig.util' + +return { + default_config = { + cmd = { 'coq-lsp' }, + filetypes = { 'coq' }, + root_dir = function(fname) + return util.root_pattern '_CoqProject'(fname) or util.find_git_ancestor(fname) + end, + single_file_support = true, + }, + docs = { + description = [[ +https://github.com/ejgallego/coq-lsp/ +]], + }, +} |