From 1ea8e460733d680ff2a16044c1734709e74fc7d5 Mon Sep 17 00:00:00 2001
From: Terje Larsen <terlar@gmail.com>
Date: Tue, 16 Jan 2024 13:38:56 +0100
Subject: [PATCH] feat(home): disable default ubuntu extensions

---
 home-manager/modules/profiles/user/terje/gnome.nix | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/home-manager/modules/profiles/user/terje/gnome.nix b/home-manager/modules/profiles/user/terje/gnome.nix
index 216afcf5..d32d373f 100644
--- 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 = [
+            "ding@rastersoft.com"
+            "ubuntu-dock@ubuntu.com"
+          ];
+        };
+
         "org/gnome/desktop/wm/keybindings" = {
           activate-window-menu = [];
           hide-window = [];