diff options
Diffstat (limited to 'roles/cgit/files/cgit.source.filter')
-rw-r--r-- | roles/cgit/files/cgit.source.filter | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/roles/cgit/files/cgit.source.filter b/roles/cgit/files/cgit.source.filter new file mode 100644 index 0000000..f5c8e88 --- /dev/null +++ b/roles/cgit/files/cgit.source.filter @@ -0,0 +1,9 @@ +#!/bin/sh +# store filename and extension in local vars +BASENAME="$1" +EXTENSION="${BASENAME##*.}" + +# map Makefile and Makefile.* to .mk +[ "${BASENAME%%.*}" = "Makefile" ] && EXTENSION=mk + +exec highlight --force -f -S "$EXTENSION" 2>/tmp/cgit.filter |