diff options
| author | Michael Lingelbach <m.j.lbach@gmail.com> | 2021-06-29 08:53:44 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-29 08:53:44 -0700 |
| commit | f9d8beada86390e1e49db93a98087cecda01319b (patch) | |
| tree | 509de874e156b9f9c42bf39c8e9a93d6040cfee2 /lua/lspconfig | |
| parent | [docgen] Update CONFIG.md (diff) | |
| parent | improve(lean3ls): increase the default memory and timeout limits (diff) | |
| download | nvim-lspconfig-f9d8beada86390e1e49db93a98087cecda01319b.tar nvim-lspconfig-f9d8beada86390e1e49db93a98087cecda01319b.tar.gz nvim-lspconfig-f9d8beada86390e1e49db93a98087cecda01319b.tar.bz2 nvim-lspconfig-f9d8beada86390e1e49db93a98087cecda01319b.tar.lz nvim-lspconfig-f9d8beada86390e1e49db93a98087cecda01319b.tar.xz nvim-lspconfig-f9d8beada86390e1e49db93a98087cecda01319b.tar.zst nvim-lspconfig-f9d8beada86390e1e49db93a98087cecda01319b.zip | |
Merge pull request #1000 from Julian/memory-limit
Diffstat (limited to 'lua/lspconfig')
| -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) |