Merge remote-tracking branch 'lenormf/fix-lint'

2020-04-09 07:41:54 +10:00 · 2020-04-09 07:41:54 +10:00 · 63df04b6e0
commit 63df04b6e0
parent de2b3f9b9a 7d987c013e
1 changed files with 6 additions and 0 deletions
--- a/rc/tools/lint.kak
+++ b/rc/tools/lint.kak
@ -277,6 +277,12 @@ define-command \
    } \
    lint-buffer \
 %{
+    evaluate-commands %sh{
+        if [ -z "${kak_opt_lintcmd}" ]; then
+            echo 'fail The lintcmd option is not set'
+            exit 1
+        fi
+    }
    evaluate-commands -draft %{
        execute-keys '%'
        lint-cleaned-selections %opt{lintcmd}