diff options
| author | tv <tv@krebsco.de> | 2015-11-09 18:34:02 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2015-11-09 18:34:02 +0100 |
| commit | 1f4d7ffa50483cde6024fe910fb16d0c8040e245 (patch) | |
| tree | a190bfaf668a3a4d10f2bb22b140d3601177db49 /krebs/4lib | |
| parent | 2263c04e7c95caa5c21fb80952a19916eace5a3e (diff) | |
tv git: move old stuff to the museum section
Diffstat (limited to 'krebs/4lib')
| -rw-r--r-- | krebs/4lib/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/krebs/4lib/default.nix b/krebs/4lib/default.nix index f907fe87..3f27ea89 100644 --- a/krebs/4lib/default.nix +++ b/krebs/4lib/default.nix @@ -30,4 +30,7 @@ rec { subdirsOf = path: mapAttrs (name: _: path + "/${name}") (filterAttrs (_: eq "directory") (readDir path)); + + mapAttrValues = f: mapAttrs (_: f); + setAttr = name: value: set: set // { ${name} = value; }; } |