171 ], |
171 ], |
172 'args': [ |
172 'args': [ |
173 (r'\(', Punctuation, '#push'), |
173 (r'\(', Punctuation, '#push'), |
174 (r'\)', Punctuation, '#pop'), |
174 (r'\)', Punctuation, '#pop'), |
175 (r'(\$\{)(.+?)(\})', bygroups(Operator, Name.Variable, Operator)), |
175 (r'(\$\{)(.+?)(\})', bygroups(Operator, Name.Variable, Operator)), |
|
176 (r'(\$ENV\{)(.+?)(\})', bygroups(Operator, Name.Variable, Operator)), |
176 (r'(\$<)(.+?)(>)', bygroups(Operator, Name.Variable, Operator)), |
177 (r'(\$<)(.+?)(>)', bygroups(Operator, Name.Variable, Operator)), |
177 (r'(?s)".*?"', String.Double), |
178 (r'(?s)".*?"', String.Double), |
178 (r'\\\S+', String), |
179 (r'\\\S+', String), |
179 (r'[^)$"# \t\n]+', String), |
180 (r'[^)$"# \t\n]+', String), |
180 (r'\n', Text), # explicitly legal |
181 (r'\n', Text), # explicitly legal |