lib: remove addName*
This commit is contained in:
parent
6c71792b6d
commit
9cb65273b1
krebs/4lib
|
@ -13,11 +13,6 @@ let out = lib // rec {
|
|||
|
||||
mod = x: y: x - y * (x / y);
|
||||
|
||||
addName = name: set:
|
||||
set // { inherit name; };
|
||||
|
||||
addNames = mapAttrs addName;
|
||||
|
||||
guard = spec@{ type, value, ... }:
|
||||
assert isOptionType type;
|
||||
if type.check value
|
||||
|
|
|
@ -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 = {};
|
||||
|
|
Loading…
Reference in a new issue