From 513942976e41bed721744be2e110b5be3d60494a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Moritz=20B=C3=B6hme?= Date: Wed, 4 Jan 2023 13:23:21 +0100 Subject: [PATCH] update gnome settings --- modules/programs/gnome.nix | 18 ++++++++++++++++-- 1 file changed, 16 insertions(+), 2 deletions(-) diff --git a/modules/programs/gnome.nix b/modules/programs/gnome.nix index f60df75..f5cba87 100644 --- a/modules/programs/gnome.nix +++ b/modules/programs/gnome.nix @@ -7,6 +7,13 @@ with lib; let cfg = config.my.programs.gnome; + + extensions = with pkgs.gnomeExtensions; [ + gsconnect + vitals + gtile + blur-my-shell + ]; in { options.my.programs.gnome.enable = mkEnableOption "gnome"; @@ -19,7 +26,6 @@ in }; pulseaudio.enable = false; }; - programs.xwayland.enable = true; services.xserver = { layout = "de"; displayManager = { @@ -32,6 +38,14 @@ 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" = { + 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"; + }; }; }