1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2024-12-14 11:57:55 +00:00

gnome-terminal: add to packages

This commit is contained in:
Robert Helgesson 2017-01-10 00:35:54 +01:00
parent 4efbf0e090
commit a617aeaa73
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

@ -174,6 +174,8 @@ in
};
config = mkIf cfg.enable {
home.packages = [ pkgs.gnome3.gnome_terminal ];
home.activation.gnome-terminal =
let
sf = pkgs.writeText "gnome-terminal.ini" (toINI (buildIniSet cfg));