randogoth/nanuqsaurus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Pin logo-menu v38 and rebuild with patched defaults

Browse source
This commit is contained in:
randogoth 2026-02-03 18:18:38 +02:00
parent 6ac92aa9f3
commit 27ce70ebfd
3 changed files with 10 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
modules/desktop/gnome-minimal.nix
View file

@ -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