From 4612d0928ad630956dd2baec18a50ed73500db7a Mon Sep 17 00:00:00 2001 From: Frank LENORMAND Date: Wed, 18 Jul 2018 14:16:05 +0300 Subject: [PATCH] rc lint: Print an error when `lintcmd` is empty --- rc/base/lint.kak | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/rc/base/lint.kak b/rc/base/lint.kak index 19725ff3..c901b040 100644 --- a/rc/base/lint.kak +++ b/rc/base/lint.kak @@ -10,6 +10,11 @@ declare-option -hidden int lint_warning_count define-command lint -docstring 'Parse the current buffer with a linter' %{ evaluate-commands %sh{ + if [ -z "${kak_opt_lintcmd}" ]; then + printf %s\\n 'echo -markup {Error}The `lintcmd` option is not set' + exit 1 + fi + dir=$(mktemp -d "${TMPDIR:-/tmp}"/kak-lint.XXXXXXXX) mkfifo "$dir"/fifo printf '%s\n' "evaluate-commands -no-hooks write -sync $dir/buf"