modules/nixos/themes/a-happy-gnome: update config

modules/nixos/themes/a-happy-gnome/config/dconf/desktop.conf

@@ -1,32 +1,34 @@
 [org/gnome/desktop/interface]
-enable-animations = true
+enable-animations=true
-enable-hot-corners = false
+enable-hot-corners=false
-gtk-im-module = 'gtk-im-context-simple'
+gtk-im-module='gtk-im-context-simple'
-show-battery-percentage = true
+show-battery-percentage=true
 
 [org/gnome/desktop/notifications]
-show-banners = true
+show-banners=true
 
 [org/gnome/desktop/privacy]
-disable-microphone = false
+disable-microphone=false
 
 [org/gnome/shell]
-disable-user-extensions = false
+disable-user-extensions=false
 enabled-extensions=['arcmenu@arcmenu.com', 'just-perfection-desktop@just-perfection', 'gsconnect@andyholmes.github.io', 'flypie@schneegans.github.com', 'kimpanel@kde.org', 'workspaces-bar@fthx', 'burn-my-windows@schneegans.github.com', 'sermon@rovellipaolo-gmail.com', 'runcat@kolesnikov.se', 'mprisindicatorbutton@JasonLG1979.github.io', 'appindicatorsupport@rgcjonas.gmail.com', 'screenshot-window-sizer@gnome-shell-extensions.gcampax.github.com', 'windowsNavigator@gnome-shell-extensions.gcampax.github.com']
+favorite-apps=['brave-browser.desktop', 'emacs.desktop', 'zotero-5.0.96.3.desktop', 'org.kde.krita.desktop', 'blender.desktop', 'com.usebottles.bottles.desktop']
 
 [org/gnome/mutter]
-attach-modal-dialogs = true
+attach-modal-dialogs=true
-dynamic-workspaces = true
+center-new-windows=true
-edge-tiling = true
+dynamic-workspaces=true
-focus-change-on-pointer-rest = true
+edge-tiling=true
-overlay-key = 'Super_L'
+focus-change-on-pointer-rest=true
-workspaces-only-on-primary = true
+overlay-key='Super_L'
+workspaces-only-on-primary=true
 
 [org/gnome/shell/world-clocks]
-locations = [<(uint32 2, <('New York', 'KNYC', true, [(0.71180344078725644, -1.2909618758762367)], [(0.71059804659265924, -1.2916478949920254)])>)>, <(uint32 2, <('Coordinated Universal Time (UTC)', '@UTC', false, @a(dd) [], @a(dd) [])>)>, <(uint32 2, <('Cairo', 'HECA', true, [(0.52592587544986047, 0.54803338512621935)], [(0.52447144022429604, 0.54541539124822791)])>)>]
+locations=[<(uint32 2, <('New York', 'KNYC', true, [(0.71180344078725644, -1.2909618758762367)], [(0.71059804659265924, -1.2916478949920254)])>)>, <(uint32 2, <('Coordinated Universal Time (UTC)', '@UTC', false, @a(dd) [], @a(dd) [])>)>, <(uint32 2, <('Cairo', 'HECA', true, [(0.52592587544986047, 0.54803338512621935)], [(0.52447144022429604, 0.54541539124822791)])>)>]
 
 [org/gnome/system/location]
-enabled = false
+enabled=false
 
 [org/gnome/desktop/wm/preferences]
-workspace-names = ['Web', 'Dev', 'Notes', 'Graphics', 'Audio']
+workspace-names=['Web', 'Dev', 'Notes', 'Graphics', 'Audio']

modules/nixos/themes/a-happy-gnome/config/dconf/keybindings.conf

@@ -3,8 +3,8 @@ begin-resize=['<Super>r']
 close=['<Alt>F4', '<Super>q']
 cycle-group=@as []
 cycle-group-backward=@as []
-cycle-windows=['<Super>grave']
+cycle-windows=@as []
-cycle-windows-backward=['<Shift><Super>grave']
+cycle-windows-backward=@as []
 maximize=@as []
 minimize=@as []
 move-to-monitor-down=@as []
@@ -16,10 +16,10 @@ move-to-workspace-right=['<Shift><Super>l', '<Shift><Super>Right', '<Shift><Supe
 move-to-workspace-left=['<Shift><Super>h', '<Shift><Super>Left', '<Shift><Super>Page_Up']
 move-to-workspace-last=['<Shift><Super>End', '<Shift><Super>j']
 panel-main-menu=@as []
-switch-group=@as []
+switch-group=['<Super>grave']
-switch-group-backward=@as []
+switch-group-backward=['<Shift><Super>grave']
-switch-input-source=['<Super>i']
+switch-input-source=@as []
-switch-input-source-backward=['<Shift><Super>i']
+switch-input-source-backward=@as []
 switch-to-workspace-up=@as []
 switch-to-workspace-left=['<Primary><Super>h', '<Super>Page_Up']
 switch-to-workspace-right=['<Primary><Super>l', '<Super>Page_Down']
@@ -41,6 +41,12 @@ pop-monitor-down=['<Alt><Super>j', '<Alt><Super>Down']
 [org/gnome/shell/keybindings]
 toggle-message-tray=['<Super>v']
 
+# Bringing my old habits back when I use standalone window managers.
+[org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0]
+binding='<Super>Return'
+command='alacritty'
+name='Terminal'
+
 # We don't want to restore them shortcuts.
 [org/gnome/mutter/wayland/keybindings]
 restore-shortcuts=@as []
@@ -49,3 +55,7 @@ restore-shortcuts=@as []
 screensaver=['<Super>Escape']
 logout=['<Shift><Super>Escape']
 help=@as []
+
+# Easy resize with the mouse.
+[org/gnome/desktop/wm/preferences]
+resize-with-right-button = true

modules/nixos/themes/a-happy-gnome/config/dconf/shell-extensions.conf

@@ -37,7 +37,9 @@ menu-configuration='[{"name":"Global palette","icon":"🐶️","shortcut":"<Supe
 close-animation='tv'
 destroy-animation-time=500
 destroy-dialogs=true
-tv-animation-time=200
+tv-animation-time=250
+fire-close-effect=false
+fire-open-effect=false
 tv-close-effect=true
 tv-open-effect=true
 

modules/nixos/themes/a-happy-gnome/default.nix

@@ -4,7 +4,7 @@ let
   name = "a-happy-gnome";
   cfg = config.themes.themes.a-happy-gnome;
   dconfConfig = pkgs.runCommand "install-a-happy-gnome-dconf-keyfiles" {} ''
-    install -Dm644 ${./config/dconf}/*.conf -t $out/etc/dconf/db/database.d
+    install -Dm644 ${./config/dconf}/*.conf -t $out/etc/dconf/db/${name}-conf.d
   '';
 in
 {
@@ -47,6 +47,15 @@ in
     programs.dconf = {
       enable = true;
       packages = [ dconfConfig ];
+
+      # The `user` profile needed to set custom system-wide settings in GNOME.
+      profiles.user = pkgs.writeTextFile {
+        name = "a-happy-gnome";
+        text = ''
+          user-db:user
+          system-db:${name}-conf
+        '';
+      };
     };
 
     environment.systemPackages = with pkgs; [

pkgs/default.nix

@@ -35,6 +35,7 @@ let
       devdocs-desktop = callPackage ./devdocs-desktop.nix { };
       doggo = callPackage ./doggo.nix { };
       gnome-search-provider-browser-tabs = callPackage ./gnome-search-provider-browser-tabs.nix { };
+      gnome-search-provider-recoll = callPackage ./gnome-search-provider-recoll.nix { };
       gnome-shell-extension-burn-my-windows =
         callPackage ./gnome-shell-extension-burn-my-windows.nix { };
       gnome-shell-extension-desktop-cube =