diff options
| author | Maxime Coste <mawww@kakoune.org> | 2020-06-16 19:10:39 +1000 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2020-06-16 19:10:39 +1000 |
| commit | 8b3696982f45fc117d86463a6fc2baa778019cc4 (patch) | |
| tree | 4639ecc6b2e5dcceaa30066fc17736f27990ec69 | |
| parent | 5c02bb2030624880c9b14612d02c2d8c7e741aaf (diff) | |
| parent | 28be53fb3986d3850c460eaa5fe443797a4ed9b5 (diff) | |
Merge remote-tracking branch 'caksoylar/lint-tools'
| -rw-r--r-- | rc/tools/lint.kak | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/rc/tools/lint.kak b/rc/tools/lint.kak index 6f239556..abacf8fd 100644 --- a/rc/tools/lint.kak +++ b/rc/tools/lint.kak @@ -17,6 +17,9 @@ declare-option -hidden line-specs lint_messages declare-option -hidden int lint_error_count declare-option -hidden int lint_warning_count +declare-option -docstring "name of the client in which utilities display information" \ + str toolsclient + define-command \ -hidden \ -params 1 \ @@ -46,9 +49,8 @@ define-command \ dir=$(mktemp -d "${TMPDIR:-/tmp}"/kak-lint.XXXXXXXX) # A fifo to send the results back to a Kakoune buffer. - # FIXME: Should we put the lint output in toolsclient? mkfifo "$dir"/fifo - printf '%s\n' "evaluate-commands -draft %{ + printf '%s\n' "evaluate-commands -try-client '$kak_opt_toolsclient' %{ edit! -fifo $(kakquote "$dir/fifo") -debug *lint-output* set-option buffer filetype make set-option buffer make_current_error_line 0 |