J'ai un peu de mal à faire fonctionner gnome-shell depuis que j'ai installé une extension (je ne sais pas laquelle) le 11.10. Donc, ce que je voudrais savoir, c'est: comment puis-je désinstaller complètement TOUT ce qui concerne le gnome-shell (toutes les extensions, gnome-tweak-tool, etc.), tout - pour que je puisse recommencer à neuf et les réinstaller tous un par une?
Merci d'avance.
EDIT: Après une longue et dure recherche (pour moi en tout cas) je l'ai trouvé:
sudo apt-get remove gnome-shell-extensions-*