diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2022-02-10 19:53:55 +0100 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2022-02-10 19:53:55 +0100 |
| commit | 15e3ee471265c1625ce30ee565dda713c2b377fa (patch) | |
| tree | abaf5cc9219c77e7c5a92e6419d48a5360cbfac9 /lua/lspconfig/server_configurations/leanls.lua | |
| parent | fix(leanls): only use lake serve if lakefile.lean exists (diff) | |
| download | nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.tar nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.tar.gz nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.tar.bz2 nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.tar.lz nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.tar.xz nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.tar.zst nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.zip | |
fix(leanls): support new src/lean directory
Diffstat (limited to 'lua/lspconfig/server_configurations/leanls.lua')
| -rw-r--r-- | lua/lspconfig/server_configurations/leanls.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lua/lspconfig/server_configurations/leanls.lua b/lua/lspconfig/server_configurations/leanls.lua index c4db961d..b49f214c 100644 --- a/lua/lspconfig/server_configurations/leanls.lua +++ b/lua/lspconfig/server_configurations/leanls.lua @@ -12,6 +12,12 @@ return { fname = util.path.sanitize(fname) local stdlib_dir do + local _, endpos = fname:find '/src/lean' + if endpos then + stdlib_dir = fname:sub(1, endpos) + end + end + if not stdlib_dir then local _, endpos = fname:find '/lib/lean' if endpos then stdlib_dir = fname:sub(1, endpos) |