diff options
author | Georg Lukas <georg@op-co.de> | 2009-11-19 12:14:45 +0100 |
---|---|---|
committer | Georg Lukas <georg@op-co.de> | 2009-11-19 12:14:45 +0100 |
commit | 56522ebe1387721d10196e835346257e7494abad (patch) | |
tree | 75e2d2c2148bf9aad54b361286957b033f13293e /git | |
parent | e633ccf714eb423c4522924c3b611dac2e176c5e (diff) | |
download | cgit-56522ebe1387721d10196e835346257e7494abad.tar.gz cgit-56522ebe1387721d10196e835346257e7494abad.tar.xz |
syntax highlighting for all formats supported by "highlight"
The highlight tool can be given any of the supported file extensions
as its -S parameter. This patch replaces the case-switch by extracting
the extension from the supplied file name and passing it to highlight.
However, this requires a shell supporting the ${var##pattern} syntax,
like dash or bash.
Unknown extensions cause a fall-back to plain text using the --force
switch. Error messages are redirected to /dev/null.
A special case maps Makefile and Makefile.* to the "mk" extension.
The total overhead is reduced by calling "exec highlight". No forks are
needed during script execution.
Signed-off-by: Georg Lukas <georg@op-co.de>
Diffstat (limited to 'git')
0 files changed, 0 insertions, 0 deletions