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

gnome-terminal: rename activation command

This commit is contained in:
Robert Helgesson 2017-01-21 12:28:27 +01:00
parent deaa6d3dd4
commit 10031e16bf
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

@ -177,7 +177,7 @@ in
config = mkIf cfg.enable { config = mkIf cfg.enable {
home.packages = [ pkgs.gnome3.gnome_terminal ]; home.packages = [ pkgs.gnome3.gnome_terminal ];
home.activation.gnome-terminal = home.activation.gnomeTerminal =
let let
sf = pkgs.writeText "gnome-terminal.ini" (toINI (buildIniSet cfg)); sf = pkgs.writeText "gnome-terminal.ini" (toINI (buildIniSet cfg));
dconfPath = "/org/gnome/terminal/legacy/"; dconfPath = "/org/gnome/terminal/legacy/";