getAttrDef: RIP

This commit is contained in:
tv 2016-06-07 02:15:58 +02:00
parent dda2887e2c
commit 39ebd5001e
2 changed files with 3 additions and 3 deletions

View File

@ -41,7 +41,6 @@ let out = rec {
mapAttrs (name: _: path + "/${name}") mapAttrs (name: _: path + "/${name}")
(filterAttrs (_: eq "directory") (readDir path)); (filterAttrs (_: eq "directory") (readDir path));
getAttrDef = name: set: set.${name} or set.default or null;
mapAttrValues = f: mapAttrs (_: f); mapAttrValues = f: mapAttrs (_: f);
setAttr = name: value: set: set // { ${name} = value; }; setAttr = name: value: set: set // { ${name} = value; };

View File

@ -199,8 +199,9 @@ types // rec {
description = '' description = ''
Set of user's PGP public keys. Set of user's PGP public keys.
Modules supporting PGP may use well-known key names to define option Modules supporting PGP may use well-known key names to define
defaults, e.g. using `getAttrDef well-known-name pubkeys`. default values for options, in which case the well-known name
should be documented in the respective option's description.
''; '';
}; };
pubkey = mkOption { pubkey = mkOption {