Come disinstallare completamente gnome-shell e tutte le estensioni?

Ho qualche problema a far funzionare gnome-shell da quando ho installato un'estensione (non so quale) l'11.10. Quindi quello che vorrei sapere è: come posso disinstallare completamente TUTTO su gnome-shell (tutte le estensioni, gnome-tweak-tool, ecc.), Tutto - così posso ricominciare da capo e reinstallarli tutti uno per uno?

Grazie in anticipo.

EDIT: Dopo una lunga e difficile ricerca (per me comunque) l'ho trovato:

sudo apt-get remove gnome-shell-extensions-*

Questo comando eseguirà la disinstallazione:

sudo apt-get purge gnome-shell-*

Esegui questo comando in una finestra del terminale:

sudo apt-get remove `apt-cache depends gnome-core|cut -f 2 -d :|xargs`

Questo comando rimuoverà il pacchetto gnome-shell e tutti gli altri pacchetti dipendenti che non sono più necessari:

sudo apt-get remove --auto-remove gnome-shell

Questo comando rimuoverà solo il pacchetto gnome-shell:

sudo apt-get remove gnome-shell