diff options
| author | Hirokazu Hata <h.hata.ai.t@gmail.com> | 2020-05-18 23:50:37 +0900 |
|---|---|---|
| committer | Hirokazu Hata <h.hata.ai.t@gmail.com> | 2020-05-18 23:51:24 +0900 |
| commit | 2fd443bc5c1717327a26c7c9646b2fa306d5a0fd (patch) | |
| tree | 9a7fafa0401e936e0f4ca8fbc2bfb5e69c058e1e /lua/nvim_lsp/leanls.lua | |
| parent | [docgen] Update README.md (diff) | |
| download | nvim-lspconfig-2fd443bc5c1717327a26c7c9646b2fa306d5a0fd.tar nvim-lspconfig-2fd443bc5c1717327a26c7c9646b2fa306d5a0fd.tar.gz nvim-lspconfig-2fd443bc5c1717327a26c7c9646b2fa306d5a0fd.tar.bz2 nvim-lspconfig-2fd443bc5c1717327a26c7c9646b2fa306d5a0fd.tar.lz nvim-lspconfig-2fd443bc5c1717327a26c7c9646b2fa306d5a0fd.tar.xz nvim-lspconfig-2fd443bc5c1717327a26c7c9646b2fa306d5a0fd.tar.zst nvim-lspconfig-2fd443bc5c1717327a26c7c9646b2fa306d5a0fd.zip | |
docgen: use package.json url instead of VSCode extension name
VSCode extensions are so large size and we offten get a network error with downloading them.
So we had better to directory download package.json.
Diffstat (limited to 'lua/nvim_lsp/leanls.lua')
| -rw-r--r-- | lua/nvim_lsp/leanls.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lua/nvim_lsp/leanls.lua b/lua/nvim_lsp/leanls.lua index 13400297..894f318b 100644 --- a/lua/nvim_lsp/leanls.lua +++ b/lua/nvim_lsp/leanls.lua @@ -8,7 +8,7 @@ configs.leanls = { root_dir = util.root_pattern(".git"); }; docs = { - vscode = "jroesch.lean"; + package_json = "https://raw.githubusercontent.com/leanprover/vscode-lean/master/package.json"; description = [[ https://github.com/leanprover/lean-client-js/tree/master/lean-language-server |