From 6af9b2571481849f556f86f81c9b6c3259bf8a2c Mon Sep 17 00:00:00 2001 From: James Bunton Date: Mon, 27 Jan 2020 11:52:50 +1100 Subject: [PATCH] Split desktop-gnome-extensions --- arch/desktop-gnome | 6 ------ arch/desktop-gnome-extensions | 4 ++++ 2 files changed, 4 insertions(+), 6 deletions(-) create mode 100644 arch/desktop-gnome-extensions diff --git a/arch/desktop-gnome b/arch/desktop-gnome index 9982a25..750f9a2 100644 --- a/arch/desktop-gnome +++ b/arch/desktop-gnome @@ -32,9 +32,3 @@ seahorse sushi tracker tracker-miners - -# Extensions -gnome-shell-extension-appindicator -gnome-shell-extension-no-topleft-hot-corner -gnome-shell-extension-sometimes-steal-my-focus -libappindicator-gtk3 diff --git a/arch/desktop-gnome-extensions b/arch/desktop-gnome-extensions new file mode 100644 index 0000000..c1232d8 --- /dev/null +++ b/arch/desktop-gnome-extensions @@ -0,0 +1,4 @@ +gnome-shell-extension-appindicator +gnome-shell-extension-no-topleft-hot-corner +gnome-shell-extension-sometimes-steal-my-focus +libappindicator-gtk3 -- 2.39.2