From db106f854060f0bce6d97568ece79c33a30dfa0b Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Tue, 10 Feb 2026 19:25:07 +0100
Subject: flora/cgit: readable isabelle files

(still no readable highlighting tho ..)
---
 flora/services/cgit.nix | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'flora/services/cgit.nix')

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
-- 
cgit v1.2.3