1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-27 05:29:46 +01:00

bash: use attrsOf instead of attrs

This commit is contained in:
Robert Helgesson 2019-03-31 13:00:02 +02:00
parent e85804efa2
commit b690a8be2f
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -72,7 +72,7 @@ in
sessionVariables = mkOption { sessionVariables = mkOption {
default = {}; default = {};
type = types.attrs; type = with types; attrsOf (either int str);
example = { MAILCHECK = 30; }; example = { MAILCHECK = 30; };
description = '' description = ''
Environment variables that will be set for the Bash session. Environment variables that will be set for the Bash session.
@ -81,12 +81,12 @@ in
shellAliases = mkOption { shellAliases = mkOption {
default = {}; default = {};
type = types.attrsOf types.str;
example = { ll = "ls -l"; ".." = "cd .."; }; example = { ll = "ls -l"; ".." = "cd .."; };
description = '' description = ''
An attribute set that maps aliases (the top level attribute names in An attribute set that maps aliases (the top level attribute names in
this option) to command strings or directly to build outputs. this option) to command strings or directly to build outputs.
''; '';
type = types.attrs;
}; };
enableAutojump = mkOption { enableAutojump = mkOption {