14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
-
+
+
-
+
-
+
|
#push: double_quoted_string
# Comments begin with a '#' and finish at the end of the line
- match: '^#.*'
scope: comment
# Error message
- match: '(?<= )#[^|]+'
- match: '(?<= )# '
scope: string.message
push:
- meta_scope: string.message
- match: '\\-?[0-9]+'
scope: string.message.escape
scope: string.message.esc
- match: '\| ?https?://[\w./%?&=#+-]+'
scope: string.other
scope: string.message.url
- match: $
pop: true
# Numbers
- match: '\b(-)?[0-9.]+\b'
scope: constant.numeric
|
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
+
+
+
+
+
|
2: rule.priority
- match: '/(\w+)/'
scope: rule.actionoption
captures:
1: rule.optionname
- match: '!!(.+)¡¡'
scope: rule.antipattern
captures:
1: rule.antipattern.token
# Definitions and options
- match: '^OPT(?:GROUP|LANG|PRIORITY)/|^OPT(?:SOFTWARE|COLORTHEME):|^COLOR/'
scope: options.command
- match: '^OPT(?:LABEL|COLOR|)/'
scope: options.parameter
|