Disabled Gnome extensions in home manager because are not working

2026-06-17 15:24:39 +02:00 · 2026-01-09 18:38:13 +01:00
parent d888b70558
commit 2bd5f95001
1 changed files with 8 additions and 8 deletions
@@ -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
+			# ];
 		};
 	};
 }