Skip to content

Commit

Permalink
docs: update server_configurations.md
Browse files Browse the repository at this point in the history
skip-checks: true
  • Loading branch information
github-actions committed Oct 24, 2022
1 parent 193dd01 commit d8d48b7
Show file tree
Hide file tree
Showing 2 changed files with 64 additions and 0 deletions.
32 changes: 32 additions & 0 deletions doc/server_configurations.md
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@ autogenerated from the Lua files. You can view this file in Nvim by running
- [cssls](#cssls)
- [cssmodules_ls](#cssmodules_ls)
- [cucumber_language_server](#cucumber_language_server)
- [dafny](#dafny)
- [dagger](#dagger)
- [dartls](#dartls)
- [denols](#denols)
Expand Down Expand Up @@ -1286,6 +1287,37 @@ require'lspconfig'.cucumber_language_server.setup{}
```


## dafny

NeoVim support for the Dafny language server.
Please follow the instructions and compile the language server from source:
https://github.com/dafny-lang/language-server-csharp

Note that there is no default cmd set. You must set it yourself. The recommended way is to use `{"dotnet", "<Path to your language server>"}`.



**Snippet to enable the language server:**
```lua
require'lspconfig'.dafny.setup{}
```


**Default values:**
- `filetypes` :
```lua
{ "dfy", "dafny" }
```
- `root_dir` :
```lua
see source file
```
- `single_file_support` :
```lua
true
```


## dagger

https://github.com/dagger/cuelsp
Expand Down
32 changes: 32 additions & 0 deletions doc/server_configurations.txt
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@ autogenerated from the Lua files. You can view this file in Nvim by running
- [cssls](#cssls)
- [cssmodules_ls](#cssmodules_ls)
- [cucumber_language_server](#cucumber_language_server)
- [dafny](#dafny)
- [dagger](#dagger)
- [dartls](#dartls)
- [denols](#denols)
Expand Down Expand Up @@ -1286,6 +1287,37 @@ require'lspconfig'.cucumber_language_server.setup{}
```


## dafny

NeoVim support for the Dafny language server.
Please follow the instructions and compile the language server from source:
https://github.com/dafny-lang/language-server-csharp

Note that there is no default cmd set. You must set it yourself. The recommended way is to use `{"dotnet", "<Path to your language server>"}`.



**Snippet to enable the language server:**
```lua
require'lspconfig'.dafny.setup{}
```


**Default values:**
- `filetypes` :
```lua
{ "dfy", "dafny" }
```
- `root_dir` :
```lua
see source file
```
- `single_file_support` :
```lua
true
```


## dagger

https://github.com/dagger/cuelsp
Expand Down

0 comments on commit d8d48b7

Please sign in to comment.