diff options
| author | Maxime Coste <mawww@kakoune.org> | 2018-07-22 21:12:06 +1000 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2018-07-22 21:12:06 +1000 |
| commit | 5fb43478ffd5226bb4fcd8ab1cfe51f7c2f11e7a (patch) | |
| tree | 38bd1300d857f17ad517b41e0955f8c2667090c9 | |
| parent | 3c51da448854a61608066c9769ddbda14305a47a (diff) | |
| parent | 929ef9f5ec503a5ab2645ea45cfa7f2e4ef8b66a (diff) | |
Merge remote-tracking branch 'lenormf/fix-lint'
| -rw-r--r-- | rc/base/lint.kak | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/rc/base/lint.kak b/rc/base/lint.kak index 0e51f46d..dfa35037 100644 --- a/rc/base/lint.kak +++ b/rc/base/lint.kak @@ -55,10 +55,12 @@ define-command lint -docstring 'Parse the current buffer with a linter' %{ /:[0-9]+:[0-9]+:/ { kind = substr($4, 2) error = $2 "." $3 "," $2 "." $3 "|" kind + msg = "" # fix case where $5 is not the last field because of extra colons in the message - for (i=5; i<=NF; i++) error = error "\\:" $i - error = error " (col " $3 ")" - gsub("'\''", "'"''"'", error) + for (i=5; i<=NF; i++) msg = msg ":" $i + gsub(/\|/, "\\|", msg) + gsub("'\''", "'"''"'", msg) + error = error msg " (col " $3 ")" errors = errors " '\''" error "'\''" } END { |
