Skip to content

Commit

Permalink
fix: tea-leaves was renamed and replaced teal-language-server (#3285)
Browse files Browse the repository at this point in the history
  • Loading branch information
svermeulen authored Aug 27, 2024
1 parent 8a3610d commit a05f8d1
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 37 deletions.
31 changes: 0 additions & 31 deletions lua/lspconfig/server_configurations/tea_leaves.lua

This file was deleted.

14 changes: 8 additions & 6 deletions lua/lspconfig/server_configurations/teal_ls.lua
Original file line number Diff line number Diff line change
Expand Up @@ -4,26 +4,28 @@ return {
default_config = {
cmd = {
'teal-language-server',
-- use this to enable logging in /tmp/teal-language-server.log
-- "logging=on",
},
filetypes = {
'teal',
-- "lua", -- Also works for lua, but you may get type errors that cannot be resolved within lua itself
},
root_dir = util.root_pattern('tlconfig.lua', '.git'),
root_dir = util.root_pattern 'tlconfig.lua',
},
docs = {
description = [[
https://github.com/teal-language/teal-language-server
Install with:
```
luarocks install --dev teal-language-server
luarocks install teal-language-server
```
Optional Command Args:
* "--log-mode=by_date" - Enable logging in $HOME/.cache/teal-language-server. Log name will be date + pid of process
* "--log-mode=by_proj_path" - Enable logging in $HOME/.cache/teal-language-server. Log name will be project path + pid of process
* "--verbose=true" - Increases log level. Does nothing unless log-mode is set
]],
default_config = {
root_dir = [[root_pattern("tlconfig.lua", ".git")]],
root_dir = [[root_pattern("tlconfig.lua")]],
},
},
}

0 comments on commit a05f8d1

Please sign in to comment.