update gnome settings

This commit is contained in:
Moritz Böhme 2023-01-04 13:23:21 +01:00
parent a98db4d9b6
commit 513942976e

View file

@ -7,6 +7,13 @@
with lib; with lib;
let let
cfg = config.my.programs.gnome; cfg = config.my.programs.gnome;
extensions = with pkgs.gnomeExtensions; [
gsconnect
vitals
gtile
blur-my-shell
];
in in
{ {
options.my.programs.gnome.enable = mkEnableOption "gnome"; options.my.programs.gnome.enable = mkEnableOption "gnome";
@ -19,7 +26,6 @@ in
}; };
pulseaudio.enable = false; pulseaudio.enable = false;
}; };
programs.xwayland.enable = true;
services.xserver = { services.xserver = {
layout = "de"; layout = "de";
displayManager = { displayManager = {
@ -32,6 +38,14 @@ in
enable = true; enable = true;
desktopManager.gnome.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" = {
disable-user-extensions = false;
enabled-extensions = map (p: p.extensionUuid or p.uuid) extensions;
};
"org/gnome/desktop/interface".enable-hot-corners = false;
"org/gnome/desktop/wm/preferences".focus-mode = "sloppy";
};
}; };
} }