1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-23 03:29:45 +01:00

gnome-terminal: use attrsOf rather than loaOf

Since the attribute names carry semantic meaning we should be more
strict about the type.
This commit is contained in:
Robert Helgesson 2017-05-10 00:20:15 +02:00
parent 3c69c7589a
commit e8fb9f50ce
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

@ -169,7 +169,7 @@ in
profile = mkOption {
default = {};
type = types.loaOf profileSubModule;
type = types.attrsOf profileSubModule;
description = "A set of Gnome Terminal profiles.";
};
};