diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 497d98b..8fc51f6 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -114,7 +114,6 @@ set_gnome_extensions () { do $gnomeextcmd disable -q $ext done - $gnomeextcmd enable -q window-list@gnome-shell-extensions.gcampax.github.com $gnomeextcmd enable -q appindicatorsupport@rgcjonas.gmail.com } set_gnome_extensions