From b7768efbf67eac3fc1728099734546d9d3a05e29 Mon Sep 17 00:00:00 2001
From: Felix Tenley <dev@felschr.com>
Date: Sat, 23 Oct 2021 12:36:21 +0200
Subject: [PATCH] fix: present gnome extensions disabling

---
 home/desktop/gnome.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/home/desktop/gnome.nix b/home/desktop/gnome.nix
index 30dfacf..34f2750 100644
--- a/home/desktop/gnome.nix
+++ b/home/desktop/gnome.nix
@@ -8,6 +8,7 @@ let
 in {
   dconf.settings = with lib.hm.gvariant; {
     "org/gnome/shell" = {
+      disable-user-extensions = false;
       enabled-extensions = [
         "user-theme@gnome-shell-extensions.gcampax.github.com"
         "pop-shell@system76.com"