Doppeldock auf GNOME -Übersicht
cd /usr/share/gnome-shell/extensions/
sudo mv [email protected] [email protected]
Nutty Narwhal
cd /usr/share/gnome-shell/extensions/
sudo mv [email protected] [email protected]