summaryrefslogtreecommitdiffstats
path: root/4lib/krebs
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2015-07-27 15:42:33 +0200
committertv <tv@shackspace.de>2015-07-27 15:42:33 +0200
commitd40a714c08fcdd47136847c23d852af91fb3db8a (patch)
tree3e0d6776eec3835bb2cb56027658c2484b896e5c /4lib/krebs
parent9303ab870cda5c110929cc206e0f96f506f25879 (diff)
krebs.types.user: add pubkeys
Diffstat (limited to '4lib/krebs')
-rw-r--r--4lib/krebs/types.nix4
1 files changed, 4 insertions, 0 deletions
diff --git a/4lib/krebs/types.nix b/4lib/krebs/types.nix
index 970ef2f8e..92410dd58 100644
--- a/4lib/krebs/types.nix
+++ b/4lib/krebs/types.nix
@@ -93,6 +93,10 @@ types // rec {
pubkey = mkOption {
type = str;
};
+ pubkeys = mkOption {
+ type = attrsOf str;
+ default = {};
+ };
};
};