From 27ce70ebfd22a03d2c8debd9c77c0c616f312f5a Mon Sep 17 00:00:00 2001 From: randogoth Date: Tue, 3 Feb 2026 18:18:38 +0200 Subject: [PATCH] Pin logo-menu v38 and rebuild with patched defaults --- modules/desktop/gnome-minimal.nix | 3 +-- modules/desktop/patches/logo-menu-custom-menu.patch | 4 ++-- modules/system/packages.nix | 7 +++++++ 3 files changed, 10 insertions(+), 4 deletions(-) diff --git a/modules/desktop/gnome-minimal.nix b/modules/desktop/gnome-minimal.nix index ae76963..4dfe300 100644 --- a/modules/desktop/gnome-minimal.nix +++ b/modules/desktop/gnome-minimal.nix @@ -33,8 +33,7 @@ in { services.desktopManager.gnome.extraGSettingsOverrides = '' [org/gnome/shell] disable-user-extensions=false - enabled-extensions=['all-in-one-clipboard@NiffirgkcaJ.github.com','AlphabeticalAppGrid@stuarthayhurst','app-hider@lynith.dev','apps@github.com.howbea','blur-my-shell@aunetx','caffeine@patapon.info','logomenu@aryan_k','places-menu@gnome-shell-extensions.gcampax.github.com','restartto@tiagoporsch.github.io'] - favorite-apps=['firefox.desktop','org.gnome.Settings.desktop','org.gnome.Ptyxis.desktop','com.mattjakeman.ExtensionManager.desktop'] + enabled-extensions=['all-in-one-clipboard@NiffirgkcaJ.github.com','AlphabeticalAppGrid@stuarthayhurst','app-hider@lynith.dev','blur-my-shell@aunetx','caffeine@patapon.info','logomenu@aryan_k','restartto@tiagoporsch.github.io'] [org/gnome/shell/extensions/logo-menu] menu-button-icon-image=51 diff --git a/modules/desktop/patches/logo-menu-custom-menu.patch b/modules/desktop/patches/logo-menu-custom-menu.patch index 0e70e4a..2165dd4 100644 --- a/modules/desktop/patches/logo-menu-custom-menu.patch +++ b/modules/desktop/patches/logo-menu-custom-menu.patch @@ -90,7 +90,7 @@ diff -ru orig/schemas/org.gnome.shell.extensions.logo-menu.gschema.xml mod/schem - 0 -+ 51 ++ 18 Menu Button Icon Image Change the Menu Button Icon Image. @@ -126,7 +126,7 @@ diff -ru orig/schemas/org.gnome.shell.extensions.logo-menu.gschema.xml mod/schem - "gnome-system-monitor" -+ "mission-center" ++ "missioncenter" Menu System Monitor Change the Menu System Monitor. diff --git a/modules/system/packages.nix b/modules/system/packages.nix index 249facf..8234478 100644 --- a/modules/system/packages.nix +++ b/modules/system/packages.nix @@ -18,6 +18,13 @@ pkgs.gnomeExtensions.blur-my-shell pkgs.gnomeExtensions.caffeine (pkgs.gnomeExtensions.logo-menu.overrideAttrs (old: { + # Pin extension source so our patch stays compatible. + version = "38"; + src = pkgs.fetchzip { + url = "https://extensions.gnome.org/extension-data/logomenuaryan_k.v38.shell-extension.zip"; + hash = "sha256-GdGn7YKfOOEM0kV1Gd9H5c1KKjs/+/4XCsxO2pFdqu4="; + stripRoot = false; + }; patches = (old.patches or []) ++ [ ../desktop/patches/logo-menu-custom-menu.patch ]; })) pkgs.gnomeExtensions.places-status-indicator