From 005cf54dc240ba2e20c15ee165c2dce85072e510 Mon Sep 17 00:00:00 2001 From: Patryk Niedzwiedzinski Date: Sun, 29 Sep 2024 15:47:50 +0200 Subject: 8 current 2024-09-29 15:47:48 24.05.20240914.8f7492c 6.6.51 * --- machines/x220-gnome/gnome.nix | 59 +++++++++++++++++++++++++++++++++---------- 1 file changed, 45 insertions(+), 14 deletions(-) (limited to 'machines/x220-gnome/gnome.nix') diff --git a/machines/x220-gnome/gnome.nix b/machines/x220-gnome/gnome.nix index 37de755..e042b70 100644 --- a/machines/x220-gnome/gnome.nix +++ b/machines/x220-gnome/gnome.nix @@ -15,21 +15,52 @@ pkgs.gnome-tour ]; - services.xserver.desktopManager.gnome.extraGSettingsOverrides = '' - [org.gnome.shell] - favorite-apps = [ "brave-browser.desktop", "org.gnome.Geary.desktop", "org.gnome.Nautilus.desktop" ] - - [org.gnome.desktop.wm.keybindings] - close = ["q"] - - [org.gnome.settings-daemon.plugins.media-keys] - custom-keybindings = ["org/gnome/settings-daemon/plugins/media-keys/custom0/"] + programs.dconf = { + enable = true; + profiles.user.databases = [ + { + lockAll = true; + settings = { + "org/gnome/shell" = { + favorite-apps = [ "brave-browser.desktop" "org.gnome.Geary.desktop" "org.gnome.Nautilus.desktop" ]; + }; + + "org/gnome/desktop/wm/keybindings" = { + close = ["q"]; + }; + + "org/gnome/settings-daemon/plugins/media-keys" = { + custom-keybindings = [ + "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/" + ]; + }; + + "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" = { + binding = ""; + command = "kgx"; + name = "GNOME Console"; + }; + + }; + } + ]; + }; - [org.gnome.settings-daemon.plugins.media-keys.custom0] - binding = [""] - command = ["kgx"] - name = ["GNOME Console"] - ''; + ##services.xserver.desktopManager.gnome.extraGSettingsOverrides = '' + ##[org.gnome.shell] + ##favorite-apps = [ "brave-browser.desktop", "org.gnome.Geary.desktop", "org.gnome.Nautilus.desktop" ] +## + ##[org.gnome.desktop.wm.keybindings] + ##close = ["q"] +## + ##[org.gnome.settings-daemon.plugins.media-keys] + ##custom-keybindings = ["org/gnome/settings-daemon/plugins/media-keys/custom0/"] +## + ##[org.gnome.settings-daemon.plugins.media-keys.custom0] + ##binding = [""] + ##command = ["kgx"] + ##name = ["GNOME Console"] + ##''; # Configure keymap in X11 services.xserver = { -- cgit 1.4.1