diff options
| author | Abhishek Cherath <abhicherath@gmail.com> | 2020-12-23 22:32:43 -0500 |
|---|---|---|
| committer | Abhishek Cherath <abhicherath@gmail.com> | 2020-12-23 22:32:43 -0500 |
| commit | 532d9446423d8903a7ca0cd22771f49d540d16c9 (patch) | |
| tree | a9d248b21310d005c112568702d9ef8f6ab3b9a1 /lua | |
| parent | added perl language server (diff) | |
| parent | Have leanls use util.find_git_ancestor. (diff) | |
| download | nvim-lspconfig-532d9446423d8903a7ca0cd22771f49d540d16c9.tar nvim-lspconfig-532d9446423d8903a7ca0cd22771f49d540d16c9.tar.gz nvim-lspconfig-532d9446423d8903a7ca0cd22771f49d540d16c9.tar.bz2 nvim-lspconfig-532d9446423d8903a7ca0cd22771f49d540d16c9.tar.lz nvim-lspconfig-532d9446423d8903a7ca0cd22771f49d540d16c9.tar.xz nvim-lspconfig-532d9446423d8903a7ca0cd22771f49d540d16c9.tar.zst nvim-lspconfig-532d9446423d8903a7ca0cd22771f49d540d16c9.zip | |
Merge branch 'master' of https://github.com/pretentious7/nvim-lspconfig
Diffstat (limited to 'lua')
| -rw-r--r-- | lua/lspconfig/leanls.lua | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lua/lspconfig/leanls.lua b/lua/lspconfig/leanls.lua index cd6f4644..f74e4227 100644 --- a/lua/lspconfig/leanls.lua +++ b/lua/lspconfig/leanls.lua @@ -5,7 +5,9 @@ configs.leanls = { default_config = { cmd = {"lean-language-server", "--stdio"}; filetypes = {"lean"}; - root_dir = util.root_pattern(".git"); + root_dir = function(fname) + return util.find_git_ancestor(fname) or vim.loop.os_homedir() + end; }; docs = { package_json = "https://raw.githubusercontent.com/leanprover/vscode-lean/master/package.json"; @@ -15,7 +17,7 @@ https://github.com/leanprover/lean-client-js/tree/master/lean-language-server Lean language server. ]]; default_config = { - root_dir = [[util.root_pattern(".git")]]; + root_dir = [[root_pattern(".git") or os_homedir]]; }; }; } |