diff options
author | Christian Franke <nobody@nowhere.ws> | 2015-08-28 15:38:36 +0200 |
---|---|---|
committer | Christian Franke <nobody@nowhere.ws> | 2015-08-28 15:38:36 +0200 |
commit | 1eb35a1e69d9a9f3f43340b9ea46d95bb2c1a0e8 (patch) | |
tree | c2f50624ccf38999896e66c9f270a96ee4cbb5cb /roles/cgit/files/cgit.source.filter | |
parent | 6474bb9964d8a57b050e597a451fa40a3e5148f0 (diff) |
Add cgit role - git webfrontend
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 |