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 /README | |
parent | e633ccf714eb423c4522924c3b611dac2e176c5e (diff) |
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 'README')
0 files changed, 0 insertions, 0 deletions