summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2020-07-13 10:51:06 +0200
committertv <tv@krebsco.de>2020-07-13 10:51:06 +0200
commitedc62dfabc8a55b240fe467ade1bbc650f6df6e0 (patch)
tree77533fd2e839b134764dbb87633470cab3b1447e
parent6d769b73b4954d6bd215b00e5674eb41a034f57c (diff)
krebs.git.cgit.settings += source-filter
-rw-r--r--krebs/3modules/git.nix6
1 files changed, 6 insertions, 0 deletions
diff --git a/krebs/3modules/git.nix b/krebs/3modules/git.nix
index 3b941b48d..4eb881341 100644
--- a/krebs/3modules/git.nix
+++ b/krebs/3modules/git.nix
@@ -186,6 +186,12 @@ let
type = types.nullOr types.str;
default = null;
};
+ source-filter = mkOption {
+ type = types.nullOr types.absolute-pathname;
+ default = null;
+ example = literalExample
+ "\${pkgs.cgit}/lib/cgit/filters/syntax-highlighting.py";
+ };
virtual-root = mkOption {
type = types.nullOr types.absolute-pathname;
default = "/";