diff options
| author | github-actions <github-actions@github.com> | 2022-11-20 01:18:07 +0000 |
|---|---|---|
| committer | github-actions <github-actions@github.com> | 2022-11-20 01:18:07 +0000 |
| commit | 89a962987e4adffbca571bc9942847790121bf55 (patch) | |
| tree | 4ad0a2e507748711014aa695ba2fff7043b49e09 | |
| parent | Add dolmenls configuration (#2251) (diff) | |
| download | nvim-lspconfig-89a962987e4adffbca571bc9942847790121bf55.tar nvim-lspconfig-89a962987e4adffbca571bc9942847790121bf55.tar.gz nvim-lspconfig-89a962987e4adffbca571bc9942847790121bf55.tar.bz2 nvim-lspconfig-89a962987e4adffbca571bc9942847790121bf55.tar.lz nvim-lspconfig-89a962987e4adffbca571bc9942847790121bf55.tar.xz nvim-lspconfig-89a962987e4adffbca571bc9942847790121bf55.tar.zst nvim-lspconfig-89a962987e4adffbca571bc9942847790121bf55.zip | |
docs: update server_configurations.md
skip-checks: true
| -rw-r--r-- | doc/server_configurations.md | 37 | ||||
| -rw-r--r-- | doc/server_configurations.txt | 37 |
2 files changed, 74 insertions, 0 deletions
diff --git a/doc/server_configurations.md b/doc/server_configurations.md index e0ff1964..8e1a5c9c 100644 --- a/doc/server_configurations.md +++ b/doc/server_configurations.md @@ -39,6 +39,7 @@ autogenerated from the Lua files. You can view this file in Nvim by running - [dhall_lsp_server](#dhall_lsp_server) - [diagnosticls](#diagnosticls) - [dockerls](#dockerls) +- [dolmenls](#dolmenls) - [dotls](#dotls) - [efm](#efm) - [elixirls](#elixirls) @@ -1611,6 +1612,42 @@ require'lspconfig'.dockerls.setup{} ``` +## dolmenls + +https://github.com/Gbury/dolmen/blob/master/doc/lsp.md + +`dolmenls` can be installed via `opam` +```sh +opam install dolmen_lsp +``` + + + +**Snippet to enable the language server:** +```lua +require'lspconfig'.dolmenls.setup{} +``` + + +**Default values:** + - `cmd` : + ```lua + { "dolmenls" } + ``` + - `filetypes` : + ```lua + { "smt2", "tptp", "p", "cnf", "icnf", "zf" } + ``` + - `root_dir` : + ```lua + see source file + ``` + - `single_file_support` : + ```lua + true + ``` + + ## dotls https://github.com/nikeee/dot-language-server diff --git a/doc/server_configurations.txt b/doc/server_configurations.txt index e0ff1964..8e1a5c9c 100644 --- a/doc/server_configurations.txt +++ b/doc/server_configurations.txt @@ -39,6 +39,7 @@ autogenerated from the Lua files. You can view this file in Nvim by running - [dhall_lsp_server](#dhall_lsp_server) - [diagnosticls](#diagnosticls) - [dockerls](#dockerls) +- [dolmenls](#dolmenls) - [dotls](#dotls) - [efm](#efm) - [elixirls](#elixirls) @@ -1611,6 +1612,42 @@ require'lspconfig'.dockerls.setup{} ``` +## dolmenls + +https://github.com/Gbury/dolmen/blob/master/doc/lsp.md + +`dolmenls` can be installed via `opam` +```sh +opam install dolmen_lsp +``` + + + +**Snippet to enable the language server:** +```lua +require'lspconfig'.dolmenls.setup{} +``` + + +**Default values:** + - `cmd` : + ```lua + { "dolmenls" } + ``` + - `filetypes` : + ```lua + { "smt2", "tptp", "p", "cnf", "icnf", "zf" } + ``` + - `root_dir` : + ```lua + see source file + ``` + - `single_file_support` : + ```lua + true + ``` + + ## dotls https://github.com/nikeee/dot-language-server |