diff options
| author | Julian Berman <Julian@GrayVines.com> | 2021-12-26 15:58:40 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-26 10:58:40 -0500 |
| commit | 1aa05163361331e881c6130781c01d93b63f9232 (patch) | |
| tree | 3009901475a9a48e06bded0d1d2860235261d1b9 | |
| parent | fix: properly handle sanitizing bufname in .launch() (#1608) (diff) | |
| download | nvim-lspconfig-1aa05163361331e881c6130781c01d93b63f9232.tar nvim-lspconfig-1aa05163361331e881c6130781c01d93b63f9232.tar.gz nvim-lspconfig-1aa05163361331e881c6130781c01d93b63f9232.tar.bz2 nvim-lspconfig-1aa05163361331e881c6130781c01d93b63f9232.tar.lz nvim-lspconfig-1aa05163361331e881c6130781c01d93b63f9232.tar.xz nvim-lspconfig-1aa05163361331e881c6130781c01d93b63f9232.tar.zst nvim-lspconfig-1aa05163361331e881c6130781c01d93b63f9232.zip | |
fix: use forward delineated paths in leanlsps (#1610)
| -rw-r--r-- | lua/lspconfig/server_configurations/lean3ls.lua | 3 | ||||
| -rw-r--r-- | lua/lspconfig/server_configurations/leanls.lua | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/lua/lspconfig/server_configurations/lean3ls.lua b/lua/lspconfig/server_configurations/lean3ls.lua index 2ccf2128..64091972 100644 --- a/lua/lspconfig/server_configurations/lean3ls.lua +++ b/lua/lspconfig/server_configurations/lean3ls.lua @@ -14,10 +14,11 @@ return { filetypes = { 'lean3' }, offset_encoding = 'utf-32', root_dir = function(fname) + fname = util.path.sanitize(fname) -- check if inside elan stdlib local stdlib_dir do - local _, endpos = fname:find(util.path.sep .. util.path.join('lean', 'library')) + local _, endpos = fname:find '/lean/library' if endpos then stdlib_dir = fname:sub(1, endpos) end diff --git a/lua/lspconfig/server_configurations/leanls.lua b/lua/lspconfig/server_configurations/leanls.lua index b8cd429a..efefa913 100644 --- a/lua/lspconfig/server_configurations/leanls.lua +++ b/lua/lspconfig/server_configurations/leanls.lua @@ -6,9 +6,10 @@ return { filetypes = { 'lean' }, root_dir = function(fname) -- check if inside elan stdlib + fname = util.path.sanitize(fname) local stdlib_dir do - local _, endpos = fname:find(util.path.sep .. util.path.join('lib', 'lean')) + local _, endpos = fname:find '/lib/lean' if endpos then stdlib_dir = fname:sub(1, endpos) end |