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

gnome-terminal: remove commented code

This commit is contained in:
Robert Helgesson 2017-11-15 15:11:31 +01:00
parent 1946343d5b
commit a36989a860
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

@ -146,7 +146,7 @@ let
{ {
"profiles:" = { "profiles:" = {
default = head (attrNames (filterAttrs (n: v: v.default) cfg.profile)); default = head (attrNames (filterAttrs (n: v: v.default) cfg.profile));
list = attrNames cfg.profile; #mapAttrsToList (n: v: n) cfg.profile; list = attrNames cfg.profile;
}; };
} }
// //