Double quai sur la vue d'ensemble du gnome

cd /usr/share/gnome-shell/extensions/
sudo mv [email protected] [email protected]
Nutty Narwhal