diff options
| author | Julian Berman <Julian@GrayVines.com> | 2021-06-27 08:12:59 +0200 |
|---|---|---|
| committer | Julian Berman <Julian@GrayVines.com> | 2021-06-27 13:46:07 +0200 |
| commit | 7e7a2f3c4b26be058c335b97fd9da11ae55a8266 (patch) | |
| tree | 509de874e156b9f9c42bf39c8e9a93d6040cfee2 /lua | |
| parent | [docgen] Update CONFIG.md (diff) | |
| download | nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.tar nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.tar.gz nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.tar.bz2 nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.tar.lz nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.tar.xz nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.tar.zst nvim-lspconfig-7e7a2f3c4b26be058c335b97fd9da11ae55a8266.zip | |
improve(lean3ls): increase the default memory and timeout limits
Matches our VSCode's default found here:
https://github.com/leanprover/vscode-lean/blob/ca764c60acbfaeaca55a681bc0be65f84b0cae44/package.json#L32-L41
Diffstat (limited to 'lua')
| -rw-r--r-- | lua/lspconfig/lean3ls.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lua/lspconfig/lean3ls.lua b/lua/lspconfig/lean3ls.lua index 9f03cf2a..9280c3f0 100644 --- a/lua/lspconfig/lean3ls.lua +++ b/lua/lspconfig/lean3ls.lua @@ -3,7 +3,7 @@ local util = require 'lspconfig/util' configs.lean3ls = { default_config = { - cmd = {"lean-language-server", "--stdio"}; + cmd = {"lean-language-server", "--stdio", "--", "-M", "4096", "-T", "100000" }; filetypes = {"lean3"}; root_dir = function(fname) return util.root_pattern("leanpkg.toml")(fname) or util.find_git_ancestor(fname) or util.path.dirname(fname) |