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 | |
parent | 6474bb9964d8a57b050e597a451fa40a3e5148f0 (diff) |
Add cgit role - git webfrontend
Diffstat (limited to 'roles/cgit/files')
-rw-r--r-- | roles/cgit/files/cgit-assets/git.css | 2 | ||||
-rw-r--r-- | roles/cgit/files/cgit-assets/highlight.css | 19 | ||||
-rw-r--r-- | roles/cgit/files/cgit-assets/logo.png | bin | 0 -> 3224 bytes | |||
-rw-r--r-- | roles/cgit/files/cgit.source.filter | 9 |
4 files changed, 30 insertions, 0 deletions
diff --git a/roles/cgit/files/cgit-assets/git.css b/roles/cgit/files/cgit-assets/git.css new file mode 100644 index 0000000..ed2ecd8 --- /dev/null +++ b/roles/cgit/files/cgit-assets/git.css @@ -0,0 +1,2 @@ +@import "cgit.css"; +@import "highlight.css"; diff --git a/roles/cgit/files/cgit-assets/highlight.css b/roles/cgit/files/cgit-assets/highlight.css new file mode 100644 index 0000000..99af709 --- /dev/null +++ b/roles/cgit/files/cgit-assets/highlight.css @@ -0,0 +1,19 @@ +/* Style definition file generated by highlight 3.6, http://www.andre-simon.de/ */ + +/* Highlighting theme: vim earendel */ + +/* body.hl { background-color:#ffffff; } */ +pre.hl { color:#000000; background-color:#ffffff; font-size:10pt; font-family:'Courier New';} +.hl.num { color:#a8660d; } +.hl.esc { color:#a80d9e; } +.hl.str { color:#a8660d; } +.hl.pps { color:#a8660d; } +.hl.slc { color:#558817; } +.hl.com { color:#558817; } +.hl.ppc { color:#0da818; } +.hl.opt { color:#000000; } +.hl.lin { color:#006666; } +.hl.kwa { color:#2239a8; font-weight:bold; } +.hl.kwb { color:#8c1d69; font-weight:bold; } +.hl.kwc { color:#a89222; font-weight:bold; } +.hl.kwd { color:#a8227b; } diff --git a/roles/cgit/files/cgit-assets/logo.png b/roles/cgit/files/cgit-assets/logo.png Binary files differnew file mode 100644 index 0000000..af1814f --- /dev/null +++ b/roles/cgit/files/cgit-assets/logo.png 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 |