diff options
| author | Rebecca Turner <rbt@sent.as> | 2023-10-10 13:23:29 -0700 |
|---|---|---|
| committer | Rebecca Turner <rbt@sent.as> | 2023-10-10 13:23:29 -0700 |
| commit | 00ad081732cfd1dc7e340597f2000de751960471 (patch) | |
| tree | c2df4380a658d2e92b7eaf1b42f8ac8470f12cf7 /script/global.d.lua | |
| parent | adde1d0a5001de44c8ee331f671668d509e23ce2 (diff) | |
| download | lua-language-server-00ad081732cfd1dc7e340597f2000de751960471.zip | |
Add `--check_out_path` CLI argument
This allows customizing where the diagnostic JSON file is saved.
Diffstat (limited to 'script/global.d.lua')
| -rw-r--r-- | script/global.d.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/script/global.d.lua b/script/global.d.lua index aedcc38c..b44d6371 100644 --- a/script/global.d.lua +++ b/script/global.d.lua @@ -55,6 +55,12 @@ DOC = '' ---@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' |