summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2015-07-27 15:42:33 +0200
committertv <tv@krebsco.de>2015-07-27 15:42:33 +0200
commitda5506a708d99476c82700675b35d7079763020d (patch)
tree990c604743029b95c0799742ea2750fc15d7c55c
parent7920cfad18e69ea30bbe5e70da2cd93e0bbc05cd (diff)
krebs.types.user: add pubkeys
-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 970ef2f..92410dd 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 = {};
+ };
};
};