diff options
| author | Bob Qi <baobin.qi@gmail.com> | 2023-10-26 10:13:07 +0800 |
|---|---|---|
| committer | Bob Qi <baobin.qi@gmail.com> | 2023-10-26 10:13:07 +0800 |
| commit | d0571ce2383e9e4dbffd6ccf50e6dc18b43241b3 (patch) | |
| tree | 763429eb6d277823ec5504f3a94355690390ef9e | |
| parent | 2fa55be40a787be71f4360fd4e36b7a790c74fa6 (diff) | |
rc/make.kak support override the whole error line pattern
| -rw-r--r-- | rc/tools/make.kak | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/rc/tools/make.kak b/rc/tools/make.kak index a150480b..5b1e7779 100644 --- a/rc/tools/make.kak +++ b/rc/tools/make.kak @@ -1,7 +1,7 @@ declare-option -docstring "shell command run to build the project" \ str makecmd make declare-option -docstring "pattern that describes lines containing information about errors in the output of the `makecmd` command" \ - str make_error_pattern " (?:fatal )?error:" + str make_error_pattern "^(?:\w:)?[^:\n]+:\d+:(?:\d+:)? (?:fatal )?error:" declare-option -docstring "name of the client in which utilities display information" \ str toolsclient @@ -69,7 +69,7 @@ define-command -hidden make-jump %{ define-command make-next-error -docstring 'Jump to the next make error' %{ evaluate-commands -try-client %opt{jumpclient} %{ buffer '*make*' - execute-keys "%opt{make_current_error_line}ggl" "/^(?:\w:)?[^:\n]+:\d+:(?:\d+:)?%opt{make_error_pattern}<ret>" + execute-keys "%opt{make_current_error_line}ggl" "/%opt{make_error_pattern}<ret>" make-jump } try %{ @@ -83,7 +83,7 @@ define-command make-next-error -docstring 'Jump to the next make error' %{ define-command make-previous-error -docstring 'Jump to the previous make error' %{ evaluate-commands -try-client %opt{jumpclient} %{ buffer '*make*' - execute-keys "%opt{make_current_error_line}g" "<a-/>^(?:\w:)?[^:\n]+:\d+:(?:\d+:)?%opt{make_error_pattern}<ret>" + execute-keys "%opt{make_current_error_line}g" "<a-/>%opt{make_error_pattern}<ret>" make-jump } try %{ |