search

Julian / lean.nvim

neovim support for the Lean theorem prover
MIT License
255 stars 25 forks source link

Specify location of lsp #266

Closed DieracDelta closed 2 years ago

DieracDelta commented 2 years ago

I have lean-language-server installed, but it is not on my path because I am running nix. Is there a place analogous to the cmd option in lspconfig where I can specify the full path to the lsp?

Julian commented 2 years ago

The lsp3 table is basically passed along as is to lspconfig, so you can stick it there. There's an example here in the wiki if that helps.

DieracDelta commented 2 years ago

That worked, thanks for the quick reply!