From a891b3cf9d56f7b25dfdcde116ec88efa7de0a19 Mon Sep 17 00:00:00 2001 From: Guanran Wang Date: Sun, 5 Nov 2023 22:12:38 +0800 Subject: [PATCH] home: remove gnome extensions --- users/guanranwang/home-manager/nixos/home.nix | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/users/guanranwang/home-manager/nixos/home.nix b/users/guanranwang/home-manager/nixos/home.nix index 004fb47..1e622fa 100644 --- 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 ]); };