mirror of
https://github.com/sharkdp/bat.git
synced 2026-10-30 10:06:12 +00:00
fix(syntax): avoid repeated log level scans
This commit is contained in:
1 parent
2ba8db9c14
commit
db69aab106
1 file changed
+5
-4
+5
-4
@@ -38,19 +38,20 @@ contexts:
|
|||||||
scope: markup.underline.link.scheme.log
|
scope: markup.underline.link.scheme.log
|
||||||
push: url-host
|
push: url-host
|
||||||
log_level_lines:
|
log_level_lines:
|
||||||
- match: (?=.*{{error}})
|
# Prevent retrying each lookahead at every position.
|
||||||
|
- match: \G(?=.*{{error}})
|
||||||
push:
|
push:
|
||||||
- error_line_meta
|
- error_line_meta
|
||||||
- main_pop_at_eol
|
- main_pop_at_eol
|
||||||
- match: (?=.*{{warning}})
|
- match: \G(?=.*{{warning}})
|
||||||
push:
|
push:
|
||||||
- warning_line_meta
|
- warning_line_meta
|
||||||
- main_pop_at_eol
|
- main_pop_at_eol
|
||||||
- match: (?=.*{{info}})
|
- match: \G(?=.*{{info}})
|
||||||
push:
|
push:
|
||||||
- info_line_meta
|
- info_line_meta
|
||||||
- main_pop_at_eol
|
- main_pop_at_eol
|
||||||
- match: (?=.*{{debug}})
|
- match: \G(?=.*{{debug}})
|
||||||
push:
|
push:
|
||||||
- debug_line_meta
|
- debug_line_meta
|
||||||
- main_pop_at_eol
|
- main_pop_at_eol
|
||||||
|
|||||||
Reference in new issue
Block a user