J'ai utilisé Synaptic pour avoir plus de contrôle sur le processus.
1) Activer le dépôt Gnome 3
sudo add-apt-repository ppa:gnome3-team/gnome3
2) Utiliser Synaptic pour installer les mises à jour de gnome3-team/gnome3
3) Activer le dépôt Gnome Shell Testing
sudo add-apt-repository ppa:ricotz/testing
4) Utiliser Synaptic pour installer gnome-tweak-tool et gnome-shell-extensions depuis ricotz/testing
3) Désactiver le dépôt Gnome Shell Testing soit dans Synaptic soit depuis un terminal
sudo ppa-purge ppa:ricotz/testing
Maintenant je peux appliquer des thèmes à mon Gnome Shell ce qui ajoute une touche très agréable. J'ai cependant constaté que la page web des extensions https://extensions.gnome.org/local/ où vous gérez vos extensions installées ne fonctionne plus. Je soupçonne que l'installation du paquet gnome-shell depuis Gnome Shell Testing installera une version compatible du plugin pour navigateur mais c'est risqué et peut-être pas important tant que gnome-tweak-tool fonctionne pour moi.