feat(home): disable default ubuntu extensions

terlar · Jan 16, 2024 · 1ea8e46 · 1ea8e46
1 parent 8f1625b
commit 1ea8e46
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/home-manager/modules/profiles/user/terje/gnome.nix b/home-manager/modules/profiles/user/terje/gnome.nix
@@ -51,6 +51,13 @@ in {
       services.gpg-agent.pinentryFlavor = "gnome3";
 
       dconf.settings = {
+        "org/gnome/shell" = {
+          disabled-extensions = [
+            "[email protected]"
+            "[email protected]"
+          ];
+        };
+
         "org/gnome/desktop/wm/keybindings" = {
           activate-window-menu = [];
           hide-window = [];