summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2015-07-27 02:45:03 +0200
committertv <tv@shackspace.de>2015-07-27 02:51:15 +0200
commitba9bb738170dda787473ead118ad2e049b3714ab (patch)
tree5901e130f9d64813da883703192ddbfc5b3b702c
parent02bac2c7a049a1dcf2f13edf07c3fc7bc1ea9633 (diff)
krebs.types.net.tinc: add default
-rw-r--r--4lib/krebs/types.nix5
1 files changed, 3 insertions, 2 deletions
diff --git a/4lib/krebs/types.nix b/4lib/krebs/types.nix
index 3d3d75a65..970ef2f8e 100644
--- a/4lib/krebs/types.nix
+++ b/4lib/krebs/types.nix
@@ -55,7 +55,7 @@ types // rec {
type = listOf hostname;
};
tinc = mkOption {
- type = let net-config = config; in submodule ({ config, ... }: {
+ type = let net-config = config; in nullOr (submodule ({ config, ... }: {
options = {
config = mkOption {
type = str;
@@ -70,7 +70,8 @@ types // rec {
type = str;
};
};
- });
+ }));
+ default = null;
};
};
});