diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/ci/lint.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/ci/lint.sh b/.github/ci/lint.sh index 0433f4cf..d5a0eb2e 100644 --- a/.github/ci/lint.sh +++ b/.github/ci/lint.sh @@ -45,7 +45,8 @@ _check_lsp_cmd_prefix() { # Enforce client:exec_cmd(). _check_exec_cmd() { - if git grep -P 'workspace.executeCommand' -- 'lsp/*.lua' ; then + local exclude='eslint' + if git grep -P 'workspace.executeCommand' -- 'lsp/*.lua' | grep -v "$exclude" ; then _fail 'Use client:exec_cmd() instead of calling request("workspace/executeCommand") directly. Example: lsp/pyright.lua' fi } |