1
0
mirror of https://github.com/nix-community/home-manager synced 2024-06-30 02:18:32 +02:00

zsh: use attrsOf instead of attrs

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

View File

@ -167,7 +167,7 @@ in
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; type = types.attrsOf types.str;
}; };
enableCompletion = mkOption { enableCompletion = mkOption {
@ -202,7 +202,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 = "Environment variables that will be set for zsh session."; description = "Environment variables that will be set for zsh session.";
}; };