diff options
| author | Jaehwang Jung <tomtomjhj@gmail.com> | 2024-10-02 14:43:54 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-02 13:43:54 +0800 |
| commit | c47f2abddb1b0e99d162b1bc6076642b9231c486 (patch) | |
| tree | 202da71e34f072fb4144435d5911e817cef709e4 /lua | |
| parent | docs: help tags for :LspFoo commands (diff) | |
| download | nvim-lspconfig-c47f2abddb1b0e99d162b1bc6076642b9231c486.tar nvim-lspconfig-c47f2abddb1b0e99d162b1bc6076642b9231c486.tar.gz nvim-lspconfig-c47f2abddb1b0e99d162b1bc6076642b9231c486.tar.bz2 nvim-lspconfig-c47f2abddb1b0e99d162b1bc6076642b9231c486.tar.lz nvim-lspconfig-c47f2abddb1b0e99d162b1bc6076642b9231c486.tar.xz nvim-lspconfig-c47f2abddb1b0e99d162b1bc6076642b9231c486.tar.zst nvim-lspconfig-c47f2abddb1b0e99d162b1bc6076642b9231c486.zip | |
feat: add vscoqtop (#3334)
Diffstat (limited to 'lua')
| -rw-r--r-- | lua/lspconfig/configs/vscoqtop.lua | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/lua/lspconfig/configs/vscoqtop.lua b/lua/lspconfig/configs/vscoqtop.lua new file mode 100644 index 00000000..c741c6c7 --- /dev/null +++ b/lua/lspconfig/configs/vscoqtop.lua @@ -0,0 +1,17 @@ +local util = require 'lspconfig.util' + +return { + default_config = { + cmd = { 'vscoqtop' }, + 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/coq-community/vscoq +]], + }, +} |