diff options
| author | tv <tv@krebsco.de> | 2016-06-07 03:14:21 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2016-06-07 22:38:38 +0200 |
| commit | 4a34b27c1c6c3fea2b336c0316c597d74460b428 (patch) | |
| tree | 97b718fe06acba0f298a78207ed9a5cbfd542b1e /krebs/4lib | |
| parent | 6fcc35afb0003f0885994b3c09e401f3178d7a08 (diff) | |
krebs.git.cgit: make `cache-root` configurable
... along with all the other stuff :)
Diffstat (limited to 'krebs/4lib')
| -rw-r--r-- | krebs/4lib/default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/krebs/4lib/default.nix b/krebs/4lib/default.nix index e984614a0..bfe8c581c 100644 --- a/krebs/4lib/default.nix +++ b/krebs/4lib/default.nix @@ -41,7 +41,6 @@ let out = rec { mapAttrs (name: _: path + "/${name}") (filterAttrs (_: eq "directory") (readDir path)); - mapAttrValues = f: mapAttrs (_: f); setAttr = name: value: set: set // { ${name} = value; }; optionalTrace = c: msg: x: if c then trace msg x else x; |