Doble Dock en GNOME Descripción general
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]