Skip to content

Commit

Permalink
feat(home-manager/gtk): add gnome option
Browse files Browse the repository at this point in the history
Add an option to set the gtk theme as gnome shell's theme using the
user-theme gnome extension
  • Loading branch information
c-leri committed May 4, 2024
1 parent b0dc7f3 commit 958844d
Showing 1 changed file with 25 additions and 0 deletions.
25 changes: 25 additions & 0 deletions modules/home-manager/gtk.nix
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,11 @@ in
default = [ "normal" ];
description = "Catppuccin tweaks for gtk";
};
gnome = mkOption {
type = lib.types.bool;
default = false;
description = "Wether to use the gtk theme as gnome shell's theme";
};

cursor = ctp.mkCatppuccinOpt "gtk cursors"
// {
Expand Down Expand Up @@ -79,5 +84,25 @@ in
"gtk-4.0/gtk.css".source = "${gtk4Dir}/gtk.css";
"gtk-4.0/gtk-dark.css".source = "${gtk4Dir}/gtk-dark.css";
};

home.packages = lib.mkIf cfg.gnome [pkgs.gnomeExtensions.user-themes];

dconf.settings = lib.mkIf cfg.gnome {
"org/gnome/shell" = {
disable-user-extensions = false;
enabled-extensions = [
"[email protected]"
];
};
"org/gnome/shell/extensions/user-theme" = {
name = config.gtk.theme.name;
};
"org/gnome/desktop/interface" = {
color-scheme =
if cfg.flavour == "latte"
then "default"
else "prefer-dark";
};
};
};
}

0 comments on commit 958844d

Please sign in to comment.