From b2a12b02c9e49aa9ea2a907152f759c946279e5b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Moritz=20B=C3=B6hme?= Date: Tue, 10 Dec 2024 09:23:08 +0100 Subject: [PATCH] feat: improve gnome experience a bit --- modules/programs/gnome.nix | 28 ++++++++++++++++++++++++++-- 1 file changed, 26 insertions(+), 2 deletions(-) diff --git a/modules/programs/gnome.nix b/modules/programs/gnome.nix index aaa0297..ecf2c3d 100644 --- a/modules/programs/gnome.nix +++ b/modules/programs/gnome.nix @@ -11,8 +11,8 @@ let extensions = with pkgs.gnomeExtensions; [ gsconnect vitals - gtile blur-my-shell + pop-shell ]; in { @@ -39,10 +39,34 @@ in home-manager.users.moritz.dconf.settings = { "org/gnome/shell" = { disable-user-extensions = false; - enabled-extensions = map (p: p.extensionUuid or p.uuid) extensions; + enabled-extensions = map (p: p.extensionUuid or p.uuid) extensions ++ [ + "launch-new-instance@gnome-shell-extensions.gcampax.github.com" + "workspace-indicator@gnome-shell-extensions.gcampax.github.com" + ]; }; + "org/gnome/shell/extensions/pop-shell".tile-by-default = true; "org/gnome/desktop/interface".enable-hot-corners = false; "org/gnome/desktop/wm/preferences".focus-mode = "sloppy"; + "org.gnome.mutter".focus-change-on-pointer-rest = false; + "org/gnome/desktop/wm/keybindings".close = [ "q" ]; + "org/gnome/desktop/wm/keybindings".minimize = [ ]; + "org/gnome/desktop/wm/keybindings".move-to-monitor-down = [ "j" ]; + "org/gnome/desktop/wm/keybindings".move-to-monitor-left = [ "h" ]; + "org/gnome/desktop/wm/keybindings".move-to-monitor-right = [ "l" ]; + "org/gnome/desktop/wm/keybindings".move-to-monitor-up = [ "k" ]; + "org/gnome/desktop/wm/keybindings".move-to-workspace-1 = [ "1" ]; + "org/gnome/desktop/wm/keybindings".move-to-workspace-2 = [ "2" ]; + "org/gnome/desktop/wm/keybindings".move-to-workspace-3 = [ "3" ]; + "org/gnome/desktop/wm/keybindings".move-to-workspace-4 = [ "4" ]; + "org/gnome/desktop/wm/keybindings".switch-to-workspace-1 = [ "1" ]; + "org/gnome/desktop/wm/keybindings".switch-to-workspace-2 = [ "2" ]; + "org/gnome/desktop/wm/keybindings".switch-to-workspace-3 = [ "3" ]; + "org/gnome/desktop/wm/keybindings".switch-to-workspace-4 = [ "4" ]; + "org/gnome/mutter".dynamic-workspaces = false; + "org/gnome/mutter/wayland/keybindings".restore-shortcuts = [ ]; + "org/gnome/settings-daemon/plugins/media-keys".screensaver = [ "Escape" ]; + "org/gnome/shell".favorite-apps = [ ]; + "org/gnome/desktop/wm/preferences".num-workspaces = 4; }; }; }