diff options
| author | github-actions <github-actions@github.com> | 2021-11-23 18:34:11 +0000 |
|---|---|---|
| committer | github-actions <github-actions@github.com> | 2021-11-23 18:34:11 +0000 |
| commit | 1cb8583d186d28f2959eac5d74a74dc745fae099 (patch) | |
| tree | d30f3e6824117b082c1697a972cce65feca8fdca | |
| parent | fix(leanls): make opening nonexisting directories work (#1474) (diff) | |
| download | nvim-lspconfig-1cb8583d186d28f2959eac5d74a74dc745fae099.tar nvim-lspconfig-1cb8583d186d28f2959eac5d74a74dc745fae099.tar.gz nvim-lspconfig-1cb8583d186d28f2959eac5d74a74dc745fae099.tar.bz2 nvim-lspconfig-1cb8583d186d28f2959eac5d74a74dc745fae099.tar.lz nvim-lspconfig-1cb8583d186d28f2959eac5d74a74dc745fae099.tar.xz nvim-lspconfig-1cb8583d186d28f2959eac5d74a74dc745fae099.tar.zst nvim-lspconfig-1cb8583d186d28f2959eac5d74a74dc745fae099.zip | |
docs: update server_configurations.md
skip-checks: true
| -rw-r--r-- | doc/server_configurations.md | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/doc/server_configurations.md b/doc/server_configurations.md index f3139b9d..e6e54f5d 100644 --- a/doc/server_configurations.md +++ b/doc/server_configurations.md @@ -3568,11 +3568,6 @@ require'lspconfig'.lean3ls.setup{} Default Values: cmd = { "lean-language-server", "--stdio", "--", "-M", "4096", "-T", "100000" } filetypes = { "lean3" } - on_new_config = function(config, root) - if not config.cmd_cwd then - config.cmd_cwd = root - end - end, root_dir = root_pattern("leanpkg.toml") or root_pattern(".git") or path.dirname single_file_support = true ``` @@ -3606,11 +3601,6 @@ require'lspconfig'.leanls.setup{} Default Values: cmd = { "lean", "--server" } filetypes = { "lean" } - on_new_config = function(config, root) - if not config.cmd_cwd then - config.cmd_cwd = root - end - end, root_dir = root_pattern("lakefile.lean", "lean-toolchain", "leanpkg.toml", ".git") single_file_support = true ``` @@ -4179,7 +4169,7 @@ https://github.com/ocaml-lsp/ocaml-language-server `ocaml-language-server` can be installed via `npm` ```sh -npm install -g ocaml-langauge-server +npm install -g ocaml-language-server ``` |