🚀 various changes

This commit is contained in:
Moritz Böhme 2022-10-16 14:18:00 +02:00
parent 7db3dd86f7
commit c78846dc7e
4 changed files with 48 additions and 60 deletions

View file

@ -7,6 +7,8 @@
with lib;
let
cfg = config.my.programs.gnome;
extensions = with pkgs.gnomeExtensions; [ tray-icons-reloaded gsconnect ];
in
{
options.my.programs.gnome.enable = mkEnableOption "gnome";
@ -32,6 +34,10 @@ in
enable = true;
desktopManager.gnome.enable = true;
};
environment.systemPackages = with pkgs.gnomeExtensions; [ tray-icons-reloaded gsconnect ];
environment.systemPackages = extensions;
home-manager.users.moritz.dconf.settings = {
"org/gnome/shell".enabled-extensions = map (p: p.extensionUuid or p.uuid) extensions;
"org/gnome/desktop/interface".enable-hot-corners = false;
};
};
}