From 169c5cd56aafc11dfe89b1c85d39e4d816d7f4e2 Mon Sep 17 00:00:00 2001 From: Julian Berman Date: Sat, 24 Jul 2021 06:21:56 +0200 Subject: docs: add a direct link to lean.nvim (for leanls and lean3ls) (#1062) * update language of metals to bring it in line with lean --- lua/lspconfig/lean3ls.lua | 4 ++++ lua/lspconfig/leanls.lua | 4 ++++ lua/lspconfig/metals.lua | 2 +- 3 files changed, 9 insertions(+), 1 deletion(-) (limited to 'lua') diff --git a/lua/lspconfig/lean3ls.lua b/lua/lspconfig/lean3ls.lua index 412f0ec7..fa5c652e 100644 --- a/lua/lspconfig/lean3ls.lua +++ b/lua/lspconfig/lean3ls.lua @@ -28,6 +28,10 @@ Once Lean is installed, you can install the Lean 3 language server by running ```sh npm install -g lean-language-server ``` + +Note: that if you're using [lean.nvim](https://github.com/Julian/lean.nvim), +that plugin fully handles the setup of the Lean language server, +and you shouldn't set up `lean3ls` both with it and `lspconfig`. ]], default_config = { root_dir = [[root_pattern("leanpkg.toml") or root_pattern(".git") or path.dirname]], diff --git a/lua/lspconfig/leanls.lua b/lua/lspconfig/leanls.lua index 625e07ae..ff6656c6 100644 --- a/lua/lspconfig/leanls.lua +++ b/lua/lspconfig/leanls.lua @@ -26,6 +26,10 @@ Lean installation instructions can be found The Lean 4 language server is built-in with a Lean 4 install (and can be manually run with, e.g., `lean --server`). + +Note: that if you're using [lean.nvim](https://github.com/Julian/lean.nvim), +that plugin fully handles the setup of the Lean language server, +and you shouldn't set up `leanls` both with it and `lspconfig`. ]], default_config = { root_dir = [[root_pattern("leanpkg.toml") or root_pattern(".git") or path.dirname]], diff --git a/lua/lspconfig/metals.lua b/lua/lspconfig/metals.lua index 620b7323..45e54bd4 100644 --- a/lua/lspconfig/metals.lua +++ b/lua/lspconfig/metals.lua @@ -27,7 +27,7 @@ See full instructions in the Metals documentation: https://scalameta.org/metals/docs/editors/vim.html#using-an-alternative-lsp-client -Note: that if you're using [nvim-metals](https://github.com/scalameta/nvim-metals), that plugin fully handles the setup and installation of Metals, and you shouldn't set up Metals both with it and this plugin. +Note: that if you're using [nvim-metals](https://github.com/scalameta/nvim-metals), that plugin fully handles the setup and installation of Metals, and you shouldn't set up Metals both with it and `lspconfig`. To install Metals, make sure to have [coursier](https://get-coursier.io/docs/cli-installation) installed, and once you do you can install the latest Metals with `cs install metals`. You can also manually bootstrap Metals with the following command. -- cgit v1.2.3-70-g09d2