diff options
| author | tv <tv@krebsco.de> | 2019-08-13 09:42:14 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2019-08-13 09:42:14 +0200 |
| commit | b13d9d3149c349160e43e9ea1dbe654829b58ad9 (patch) | |
| tree | 51f61c0e896ab6d3b9d760c9f409c425b9ff13fe /krebs/3modules/urlwatch.nix | |
| parent | 13d7c14bd06bf22558ca13e0c213cc231c98abdb (diff) | |
urlwatch: add ignore_cached option
Diffstat (limited to 'krebs/3modules/urlwatch.nix')
| -rw-r--r-- | krebs/3modules/urlwatch.nix | 4 |
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 |