diff options
| author | stuebinm | 2026-02-10 19:25:07 +0100 |
|---|---|---|
| committer | stuebinm | 2026-02-10 19:25:07 +0100 |
| commit | db106f854060f0bce6d97568ece79c33a30dfa0b (patch) | |
| tree | 69d85f3da7404605edca485a61a1dac24438e6da /flora/services/cgit.nix | |
| parent | cfe25324e1f6b94955406339a2307d9963852849 (diff) | |
(still no readable highlighting tho ..)
Diffstat (limited to 'flora/services/cgit.nix')
| -rw-r--r-- | flora/services/cgit.nix | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/flora/services/cgit.nix b/flora/services/cgit.nix index b846ad4..5ee8103 100644 --- a/flora/services/cgit.nix +++ b/flora/services/cgit.nix @@ -2,7 +2,13 @@ let cgitconf = '' - source-filter=${pkgs.cgit}/lib/cgit/filters/syntax-highlighting.py + source-filter=${pkgs.writeScript ''highlighter'' '' + if [[ $1 == *.thy ]]; then + ${pkgs.isabelle-utils}/bin/isabelle2unicode | ${pkgs.cgit}/lib/cgit/filters/syntax-highlighting.py "$1" + else + ${pkgs.cgit}/lib/cgit/filters/syntax-highlighting.py "$1" + fi + ''} about-filter=${pkgs.cgit}/lib/cgit/filters/about-formatting.sh cache-size=1000 logo=/git/cgit.png |