From 1885159254f790bd69b3179a178fa4d8b2f2b2f4 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Wed, 15 Nov 2023 03:08:32 +0000 Subject: docs: update server_configurations.md skip-checks: true --- doc/server_configurations.md | 11 +++++++++++ doc/server_configurations.txt | 11 +++++++++++ 2 files changed, 22 insertions(+) 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 -- cgit v1.2.3-70-g09d2