diff options
| -rw-r--r-- | doc/server_configurations.md | 11 | ||||
| -rw-r--r-- | doc/server_configurations.txt | 11 |
2 files changed, 22 insertions, 0 deletions
diff --git a/doc/server_configurations.md b/doc/server_configurations.md index 05f9f22f..45623919 100644 --- a/doc/server_configurations.md +++ b/doc/server_configurations.md @@ -8159,11 +8159,14 @@ require'lspconfig'.remark_ls.setup{} ## rescriptls https://github.com/rescript-lang/rescript-vscode/tree/master/server + ReScript Language Server can be installed via npm: ```sh npm install -g @rescript/language-server ``` +See the init_options supported (see https://github.com/rescript-lang/rescript-vscode/tree/master/server/config.md): + **Snippet to enable the language server:** @@ -8181,6 +8184,14 @@ require'lspconfig'.rescriptls.setup{} ```lua { "rescript" } ``` + - `init_options` : + ```lua + { + extensionConfiguration = { + askToStartBuild = false + } + } + ``` - `root_dir` : ```lua see source file diff --git a/doc/server_configurations.txt b/doc/server_configurations.txt index 05f9f22f..45623919 100644 --- a/doc/server_configurations.txt +++ b/doc/server_configurations.txt @@ -8159,11 +8159,14 @@ require'lspconfig'.remark_ls.setup{} ## rescriptls https://github.com/rescript-lang/rescript-vscode/tree/master/server + ReScript Language Server can be installed via npm: ```sh npm install -g @rescript/language-server ``` +See the init_options supported (see https://github.com/rescript-lang/rescript-vscode/tree/master/server/config.md): + **Snippet to enable the language server:** @@ -8181,6 +8184,14 @@ require'lspconfig'.rescriptls.setup{} ```lua { "rescript" } ``` + - `init_options` : + ```lua + { + extensionConfiguration = { + askToStartBuild = false + } + } + ``` - `root_dir` : ```lua see source file |