summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-03-16 02:04:22 +0100
committertv <tv@krebsco.de>2016-03-16 02:04:22 +0100
commit20afe7b9aeb5d523e10a0d5c597b8c1656bca58e (patch)
tree73cf1ea85fb6365c2654b2a55af61f9b6adeeb64
parent9d16ea61451aff36963cef3610ac8d51ed0b488b (diff)
krebs types += tinc-pubkey
-rw-r--r--krebs/4lib/types.nix4
1 files changed, 3 insertions, 1 deletions
diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix
index 112984445..32d1daf9d 100644
--- a/krebs/4lib/types.nix
+++ b/krebs/4lib/types.nix
@@ -111,7 +111,7 @@ types // rec {
);
};
pubkey = mkOption {
- type = str;
+ type = tinc-pubkey;
};
};
}));
@@ -214,6 +214,8 @@ types // rec {
};
};
+ tinc-pubkey = str;
+
krebs.file-location = types.submodule {
options = {
# TODO user