summaryrefslogtreecommitdiffstats
path: root/krebs
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2019-08-13 09:42:14 +0200
committertv <tv@krebsco.de>2019-08-13 09:42:14 +0200
commitb13d9d3149c349160e43e9ea1dbe654829b58ad9 (patch)
tree51f61c0e896ab6d3b9d760c9f409c425b9ff13fe /krebs
parent13d7c14bd06bf22558ca13e0c213cc231c98abdb (diff)
urlwatch: add ignore_cached option
Diffstat (limited to 'krebs')
-rw-r--r--krebs/3modules/urlwatch.nix4
1 files changed, 4 insertions, 0 deletions
diff --git a/krebs/3modules/urlwatch.nix b/krebs/3modules/urlwatch.nix
index f82e68376..79b45c622 100644
--- a/krebs/3modules/urlwatch.nix
+++ b/krebs/3modules/urlwatch.nix
@@ -210,6 +210,10 @@ let
default = null;
type = with types; nullOr str; # TODO nullOr subtypes.filter
};
+ ignore_cached = mkOption {
+ default = null;
+ type = with types; nullOr bool;
+ };
};
};
in out