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/default.nix | |
parent | 54becaa19fcbc11ac709ddaf86e56ee3b736931d (diff) |
{2 tv git -> 3 krebs}.users
Diffstat (limited to '4lib/krebs/default.nix')
-rw-r--r-- | 4lib/krebs/default.nix | 10 |
1 files changed, 9 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; }; |