diff options
| author | Georg Brandl <georg@python.org> | 2014-01-09 20:49:56 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2014-01-09 20:49:56 +0100 |
| commit | 5144a28cd491e1d30d4bc7e3c85b042238d3ce0f (patch) | |
| tree | 8b94532c59fd4181de2e70172a0bb0e0e7628e18 /pygments/lexers/shell.py | |
| parent | b6ae8a7ede492c51ed960a4dd4f85df369a81bd1 (diff) | |
| download | pygments-5144a28cd491e1d30d4bc7e3c85b042238d3ce0f.tar.gz | |
add "batch" alias to batch lexer
Diffstat (limited to 'pygments/lexers/shell.py')
| -rw-r--r-- | pygments/lexers/shell.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/lexers/shell.py b/pygments/lexers/shell.py index e0c2e36d..54c05530 100644 --- a/pygments/lexers/shell.py +++ b/pygments/lexers/shell.py @@ -211,7 +211,7 @@ class BatchLexer(RegexLexer): *New in Pygments 0.7.* """ name = 'Batchfile' - aliases = ['bat', 'dosbatch', 'winbatch'] + aliases = ['bat', 'batch', 'dosbatch', 'winbatch'] filenames = ['*.bat', '*.cmd'] mimetypes = ['application/x-dos-batch'] |