diff options
| author | tv <tv@krebsco.de> | 2016-10-13 21:01:22 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2016-10-13 21:51:27 +0200 |
| commit | 9cb65273b1e832f1bf7d98e977a0179c81d24b44 (patch) | |
| tree | d29d023eb1882d50e198ddcde0d89c4119e41a1f /krebs/4lib/git.nix | |
| parent | 6c71792b6d22c7564b187fa6891fb8d36270a9ef (diff) | |
lib: remove addName*
Diffstat (limited to 'krebs/4lib/git.nix')
| -rw-r--r-- | krebs/4lib/git.nix | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/krebs/4lib/git.nix b/krebs/4lib/git.nix index d50ba2018..005c017a9 100644 --- a/krebs/4lib/git.nix +++ b/krebs/4lib/git.nix @@ -1,7 +1,12 @@ { lib, ... }: +with lib; + let - inherit (lib) addNames escapeShellArg makeSearchPath optionalString; + addName = name: set: + set // { inherit name; }; + + addNames = mapAttrs addName; commands = addNames { git-receive-pack = {}; |