vanadium/kitty: use elementary bell sound

Justfile

@@ -9,7 +9,7 @@ os host action:
         nixos-rebuild {{ action }} \
                 -I nixpkgs=${nixpkgs} \
                 -I nixos-config=./nix/configurations/{{ host }}.nix \
-                --fast \
+                --no-reexec \
                 --file ./default.nix \
                 --attr "nixosConfigurations.{{ host }}"
 

nix/configurations/vanadium.nix

@@ -151,6 +151,7 @@ in
         #
         ./vanadium/home/programs.nix
         ./vanadium/home/misc.nix
+        ./vanadium/home/gtk.nix
 
         ./vanadium/home/zen-browser.nix
         ./vanadium/home/firefox.nix

nix/configurations/vanadium/home/gtk.nix

@@ -0,0 +1,38 @@
+{ pkgs, ... }:
+{
+  home.packages = [
+    pkgs.pantheon.elementary-sound-theme
+  ];
+
+  # Note: this would automatically recurse into gtk{2,3,4} settings
+  # In version prior to 25.11 it doesn't do this.
+  gtk.enable = true;
+  gtk = {
+    font = {
+      name = "Ubuntu";
+      package = pkgs.ubuntu-classic;
+    };
+    iconTheme = {
+      name = "Adwaita";
+      package = pkgs.gnome-themes-extra;
+    };
+    theme = {
+      name = "Adwaita";
+      package = pkgs.gnome-themes-extra;
+    };
+
+    # TODO: open an issue, why are the types inconsistent? ew.
+    gtk2.extraConfig = ''
+      gtk-sound-theme-name = "elementary"
+    '';
+    gtk3.extraConfig = {
+      gtk-sound-theme-name = "elementary";
+    };
+    gtk4.extraConfig = {
+      gtk-sound-theme-name = "elementary";
+    };
+  };
+  dconf.settings = {
+    "org/gnome/desktop/sound".theme-name = "elementary";
+  };
+}

nix/configurations/vanadium/home/misc.nix

@@ -1,7 +1,6 @@
 {
   pkgs,
   lib,
-  nixosConfig ? { },
   ...
 }:
 {
@@ -42,12 +41,9 @@
   home.pointerCursor = {
     x11.enable = true;
     gtk.enable = true;
-
-    inherit (nixosConfig.services.xserver.displayManager.lightdm.greeters.gtk.cursorTheme)
-      name
-      package
-      size
-      ;
+    name = "Posy_Cursor_Black";
+    package = pkgs.posy-cursors;
+    size = 72;
   };
   xresources.properties."Xft.dpi" = 150;
   i18n.inputMethod = {

nix/configurations/vanadium/home/programs.nix

@@ -122,6 +122,7 @@
     # audio utilities
     pkgs.helvum
     pkgs.pavucontrol
+    pkgs.pantheon.elementary-sound-theme
   ];
 
   programs = {
@@ -161,7 +162,12 @@
     kitty = {
       enable = true;
       font.size = 12; # sweet spot for framework 13
-      settings.shell = lib.getExe config.programs.fish.package;
+      settings = {
+        shell = lib.getExe config.programs.fish.package;
+        # https://github.com/kovidgoyal/kitty/issues/1866
+        # https://sw.kovidgoyal.net/kitty/conf/#terminal-bell
+        linux_bell_theme = "elementary";
+      };
     };
 
     chromium.enable = true;

nix/configurations/vanadium/nixos/gui.nix

@@ -15,13 +15,29 @@
     autoRepeatInterval = 40;
   };
 
+  environment.systemPackages = [
+    pkgs.pantheon.elementary-sound-theme
+  ];
   services.xserver.displayManager.lightdm = {
     enable = true;
     background = "#000000";
-    greeters.gtk.cursorTheme = {
-      name = "Posy_Cursor_Black";
-      package = pkgs.posy-cursors;
-      size = 72;
+    greeters.gtk = {
+      iconTheme = {
+        name = "Adwaita";
+        package = pkgs.gnome-themes-extra;
+      };
+      theme = {
+        name = "Adwaita";
+        package = pkgs.gnome-themes-extra;
+      };
+      cursorTheme = {
+        name = "Posy_Cursor_Black";
+        package = pkgs.posy-cursors;
+        size = 72;
+      };
+      extraConfig = ''
+        gtk-sound-theme-name = elementary
+      '';
     };
   };