diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2022-01-04 16:31:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-04 07:31:21 -0800 |
| commit | 1a2415ef115f100b018fc02285070aa640d503b2 (patch) | |
| tree | 898dd60a53a8f0c253d637285d88b8d65f486d18 /lua/lspconfig/server_configurations/ltex.lua | |
| parent | docs: update server_configurations.md (diff) | |
| download | nvim-lspconfig-1a2415ef115f100b018fc02285070aa640d503b2.tar nvim-lspconfig-1a2415ef115f100b018fc02285070aa640d503b2.tar.gz nvim-lspconfig-1a2415ef115f100b018fc02285070aa640d503b2.tar.bz2 nvim-lspconfig-1a2415ef115f100b018fc02285070aa640d503b2.tar.lz nvim-lspconfig-1a2415ef115f100b018fc02285070aa640d503b2.tar.xz nvim-lspconfig-1a2415ef115f100b018fc02285070aa640d503b2.tar.zst nvim-lspconfig-1a2415ef115f100b018fc02285070aa640d503b2.zip | |
feat(leanls): add root dir as command-line arg (#1634)
The argument is ignored by the server, but it is useful because it is
shown by `htop`, `ps ax`, etc., so you can figure out which Lean servers
are running.
The lean3ls doesn't require a corresponding change: we use the
`lean-language-server` wrapper, which appends the root directory itself
to the wrapped `lean --server` command.
Diffstat (limited to 'lua/lspconfig/server_configurations/ltex.lua')
0 files changed, 0 insertions, 0 deletions