diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2021-07-14 15:14:41 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2021-07-14 15:14:41 +0800 |
commit | 8b6e6603b26c440cd78534cf7f78ee21c0177d9e (patch) | |
tree | 7dc47c7d7f7de052a868db558e491a5d3ccdec35 /script/global.d.lua | |
parent | 50415f58c3dc8537690248eeaeca2a9e77919cb6 (diff) | |
download | lua-language-server-8b6e6603b26c440cd78534cf7f78ee21c0177d9e.zip |
cleanup
Diffstat (limited to 'script/global.d.lua')
-rw-r--r-- | script/global.d.lua | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/script/global.d.lua b/script/global.d.lua new file mode 100644 index 00000000..cc0aafbd --- /dev/null +++ b/script/global.d.lua @@ -0,0 +1,30 @@ +---develop mode, use command line: --develop=true +---@type boolean +DEVELOP = false + +---port for `Lua Debug` connecting, use command line: --dbgport=11411 +---@type integer +DBGPORT = 0 + +---need holdon before `Lua Debug` connecting, use command line: --dbgwait=true +---@type boolean +DBGWAIT = false + +---displayed language, use command line: --locale="en-us" +---@type '"en-us"'|'"zh-cn"' +LOCALE = 'en-us' + +---path of local config file, use command line: --configpath="config.lua" +---@type string +CONFIGPATH = '' + +---display the internal data of the hovring token, use command line: --showsource=true +---@type boolean +SHOWSOURCE = false + +---trace every searching into log, use command line: --trace=true +---@type boolean +TRACE = false + +---trace searching with `too deep!` into log, use command line: --footprint=true +FOOTPRINT = false |