Ho voluto installare la nuova versione di Gnome-shell, la 3.4.1, che è stata aggiunta ai repository experimental di Debian.
Sulla mia unstable, ho semplicemente usato un pinning, e poi ho provveduto ad aggiornare le esternsioni tramite il sito dedicato:
apt-get install -t experimental gnome-shell
Ovviamente il comando va dato come root, e bisogna aver preventivamente abilitato il repository experimental (per chi non sapesse come fare, basta leggere il mio precedente post).
Alla prossima..