diff options
author | tv <tv@shackspace.de> | 2015-07-24 20:48:00 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-07-24 20:49:46 +0200 |
commit | a62be1cef8726a2afa61df3dac9e19a71882b370 (patch) | |
tree | 9415cfbe7628cbcce03d1691ea02e71be7babc88 /4lib/krebs | |
parent | 54becaa19fcbc11ac709ddaf86e56ee3b736931d (diff) |
{2 tv git -> 3 krebs}.users
Diffstat (limited to '4lib/krebs')
-rw-r--r-- | 4lib/krebs/default.nix | 10 | ||||
-rw-r--r-- | 4lib/krebs/types.nix | 11 |
2 files changed, 20 insertions, 1 deletions
diff --git a/4lib/krebs/default.nix b/4lib/krebs/default.nix index 38c2a97d6..0c59076b6 100644 --- a/4lib/krebs/default.nix +++ b/4lib/krebs/default.nix @@ -1,6 +1,14 @@ { lib, ... }: -builtins // lib // { +with builtins; +with lib; + +builtins // lib // rec { + + addName = name: set: + set // { inherit name; }; + + addNames = mapAttrs addName; types = import ./types.nix { inherit lib; }; diff --git a/4lib/krebs/types.nix b/4lib/krebs/types.nix index 9d02c779f..ca92c6900 100644 --- a/4lib/krebs/types.nix +++ b/4lib/krebs/types.nix @@ -81,6 +81,17 @@ types // rec { merge = mergeOneOption; }; + user = submodule { + options = { + name = mkOption { + type = str; # TODO + }; + pubkey = mkOption { + type = str; + }; + }; + }; + # TODO addr = str; addr4 = str; |