diff options
Diffstat (limited to 'lua/lspconfig/server_configurations/lean3ls.lua')
| -rw-r--r-- | lua/lspconfig/server_configurations/lean3ls.lua | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/lua/lspconfig/server_configurations/lean3ls.lua b/lua/lspconfig/server_configurations/lean3ls.lua index b35a6932..ebcec10d 100644 --- a/lua/lspconfig/server_configurations/lean3ls.lua +++ b/lua/lspconfig/server_configurations/lean3ls.lua @@ -1,16 +1,8 @@ local util = require 'lspconfig.util' -local bin_name = 'lean-language-server' -local args = { '--stdio', '--', '-M', '4096', '-T', '100000' } -local cmd = { bin_name, unpack(args) } - -if vim.fn.has 'win32' == 1 then - cmd = { 'cmd.exe', '/C', bin_name, unpack(args) } -end - return { default_config = { - cmd = cmd, + cmd = { 'lean-language-server', '--stdio', '--', '-M', '4096', '-T', '100000' }, filetypes = { 'lean3' }, offset_encoding = 'utf-32', root_dir = function(fname) |