diff options
Diffstat (limited to 'script/global.d.lua')
| -rw-r--r-- | script/global.d.lua | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/script/global.d.lua b/script/global.d.lua index c120c153..cee9e01b 100644 --- a/script/global.d.lua +++ b/script/global.d.lua @@ -52,9 +52,19 @@ CHECK = '' ---@type string DOC = '' +--output directory path for documentation (doc.json, ...) +---@type string +DOC_OUT_PATH = '' + ---@type string | '"Error"' | '"Warning"' | '"Information"' | '"Hint"' CHECKLEVEL = 'Warning' +--Where to write the check results (JSON). +-- +--If nil, use `LOGPATH/check.json`. +---@type string|nil +CHECK_OUT_PATH = '' + ---@type 'trace' | 'debug' | 'info' | 'warn' | 'error' LOGLEVEL = 'warn' @@ -73,3 +83,10 @@ COMPILECORES = 0 -- TODO: delete this after new config ---@diagnostic disable-next-line: lowercase-global jit = false + +-- connect to client by socket +---@type integer +SOCKET = 0 + +-- Allowing the use of the root directory or home directory as the workspace +FORCE_ACCEPT_WORKSPACE = false |