diff options
author | tv <tv@krebsco.de> | 2020-07-13 10:51:06 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2020-07-13 10:51:06 +0200 |
commit | edc62dfabc8a55b240fe467ade1bbc650f6df6e0 (patch) | |
tree | 77533fd2e839b134764dbb87633470cab3b1447e /krebs | |
parent | 6d769b73b4954d6bd215b00e5674eb41a034f57c (diff) |
krebs.git.cgit.settings += source-filter
Diffstat (limited to 'krebs')
-rw-r--r-- | krebs/3modules/git.nix | 6 |
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 = "/"; |