diff options
| author | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2025-11-16 18:25:36 +0000 |
|---|---|---|
| committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2025-11-16 18:25:36 +0000 |
| commit | f2ce280a6704e36383f7eb9837eac6fd686b7e1a (patch) | |
| tree | 4eb580d50f40823736c46378ab483fc3a412a63e /doc/configs.txt | |
| parent | fix(docs): handle config errors, document rename #4192 (diff) | |
| download | nvim-lspconfig-f2ce280a6704e36383f7eb9837eac6fd686b7e1a.tar nvim-lspconfig-f2ce280a6704e36383f7eb9837eac6fd686b7e1a.tar.gz nvim-lspconfig-f2ce280a6704e36383f7eb9837eac6fd686b7e1a.tar.bz2 nvim-lspconfig-f2ce280a6704e36383f7eb9837eac6fd686b7e1a.tar.lz nvim-lspconfig-f2ce280a6704e36383f7eb9837eac6fd686b7e1a.tar.xz nvim-lspconfig-f2ce280a6704e36383f7eb9837eac6fd686b7e1a.tar.zst nvim-lspconfig-f2ce280a6704e36383f7eb9837eac6fd686b7e1a.zip | |
docs: update configs.md
skip-checks: true
Diffstat (limited to 'doc/configs.txt')
| -rw-r--r-- | doc/configs.txt | 38 |
1 files changed, 29 insertions, 9 deletions
diff --git a/doc/configs.txt b/doc/configs.txt index 3c0becb8..17e5dff9 100644 --- a/doc/configs.txt +++ b/doc/configs.txt @@ -1572,11 +1572,11 @@ Default config: { editorInfo = { name = "Neovim", - version = "0.12.0-dev+gd017f3c9a0" + version = "0.12.0-dev+g30634f63e2" }, editorPluginInfo = { name = "Neovim", - version = "0.12.0-dev+gd017f3c9a0" + version = "0.12.0-dev+g30634f63e2" } } - on_attach (use "gF" to view): ../lsp/copilot.lua:106 @@ -3443,20 +3443,20 @@ Default config: { editorInfo = { name = "Neovim", - version = "0.12.0-dev+gd017f3c9a0" + version = "0.12.0-dev+g30634f63e2" }, editorPluginInfo = { name = "Neovim LSP", - version = "0.12.0-dev+gd017f3c9a0" + version = "0.12.0-dev+g30634f63e2" }, extension = { name = "Neovim LSP Client", - version = "0.12.0-dev+gd017f3c9a0" + version = "0.12.0-dev+g30634f63e2" }, ide = { name = "Neovim", vendor = "Neovim", - version = "0.12.0-dev+gd017f3c9a0" + version = "0.12.0-dev+g30634f63e2" } } - on_attach (use "gF" to view): ../lsp/gitlab_duo.lua:317 @@ -10196,7 +10196,7 @@ Default config: ------------------------------------------------------------------------------ vscoqtop -https://github.com/coq-community/vscoq +Renamed to [vsrocq](#vsrocq) Snippet to enable the language server: >lua vim.lsp.enable('vscoqtop') @@ -10204,11 +10204,31 @@ Snippet to enable the language server: >lua Default config: - cmd: >lua - { "vscoqtop" } + { "vsrocqtop" } - filetypes: >lua { "coq" } +- name: >lua + "vsrocq" - root_markers: >lua - { "_CoqProject", ".git" } + { "_RocqProject", "_CoqProject", ".git" } +< + +------------------------------------------------------------------------------ +vsrocq + +https://github.com/rocq-prover/vsrocq + +Snippet to enable the language server: >lua + vim.lsp.enable('vsrocq') + + +Default config: +- cmd: >lua + { "vsrocqtop" } +- filetypes: >lua + { "coq" } +- root_markers: >lua + { "_RocqProject", "_CoqProject", ".git" } < ------------------------------------------------------------------------------ |