diff options
| -rw-r--r-- | tv/2configs/gitrepos.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix index 95ab75b3d..10bfb507d 100644 --- a/tv/2configs/gitrepos.nix +++ b/tv/2configs/gitrepos.nix @@ -22,6 +22,7 @@ let { ]; root-desc = "mostly krebs"; root-title = "repositories at ${config.krebs.build.host.name}"; + source-filter = "${pkgs.cgit}/lib/cgit/filters/syntax-highlighting.py"; }; }; repos = repos; |