From 2bd5f95001c6d751eb6ecaeb2e5c83ed9d15aa7b Mon Sep 17 00:00:00 2001
From: Superredstone <patrickcanal3@gmail.com>
Date: Fri, 9 Jan 2026 18:38:13 +0100
Subject: [PATCH] Disabled Gnome extensions in home manager because are not
 working

---
 home/gnome.nix | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/home/gnome.nix b/home/gnome.nix
index 1b55810..18fbec1 100644
--- a/home/gnome.nix
+++ b/home/gnome.nix
@@ -2,14 +2,14 @@
 {
 	dconf = {
 		settings."org/gnome/shell" = {
-			disable-user-extensions = false;
-			enabled-extensions = with pkgs.gnomeExtensions; [
-				blur-my-shell.extensionUuid
-				dash-to-dock.extensionUuid
-				dash-to-panel.extensionUuid
-				caffeine.extensionUuid
-				timer.extensionUuid
-			];
+			# disable-user-extensions = false;
+			# enabled-extensions = with pkgs.gnomeExtensions; [
+			# 	blur-my-shell.extensionUuid
+			# 	dash-to-dock.extensionUuid
+			# 	dash-to-panel.extensionUuid
+			# 	caffeine.extensionUuid
+			# 	timer.extensionUuid
+			# ];
 		};
 	};
 }