home: remove gnome extensions

2023-11-05 22:12:38 +08:00 · 2023-11-05 22:12:38 +08:00 · a891b3cf9d
commit a891b3cf9d
parent 3e0b8cd5ef
1 changed files with 9 additions and 9 deletions
--- a/users/guanranwang/home-manager/nixos/home.nix
+++ b/users/guanranwang/home-manager/nixos/home.nix
@ -84,15 +84,15 @@
      ])
      ++ (with pkgs.gnomeExtensions; [
        # GNOME extensions
-        arcmenu
-        appindicator
-        blur-my-shell
-        caffeine
-        dash-to-panel
-        dash-to-dock
-        gamemode # outdated
-        just-perfection
-        kimpanel
+        #arcmenu
+        #appindicator
+        #blur-my-shell
+        #caffeine
+        #dash-to-panel
+        #dash-to-dock
+        #gamemode # outdated
+        #just-perfection
+        #kimpanel
      ]);
  };