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 /Makefile | |
| parent | Merge branch 'stable' (diff) | |
| download | cgit-pink-56522ebe1387721d10196e835346257e7494abad.tar.gz cgit-pink-56522ebe1387721d10196e835346257e7494abad.zip | |
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 '')
0 files changed, 0 insertions, 0 deletions