Ho fatto per me dei pacchetti deb per le gnome-shell-extensions, giusto per averli a portati di mano e non perdere tempo. Li ho inseriti in quella specie di repo che ho 🙂 e li metto a disposizione di "amici" e non 😉 Le estensioni sono:
gnome-shell-extensions-common da installare in ogni caso
gnome-shell-extensions-alternate
gnome-shell-extensions-alternative-status-menu
gnome-shell-extensions-dock
gnome-shell-extensions-drive-menu
gnome-shell-extensions-native-window-placement
gnome-shell-extensions-places-menu
gnome-shell-extensions-windowsnavigator
chiaramente trattandosi di estensioni per Debian Sid, mi riferisco a Gnome 3.0.X, al momento siamo un'attimino indietro per Gnome 3.2, ma pian piano recuperemo 🙂 Altre estensioni interessanti sono quelli di GnomeShell-Frippery. Si attivano da gnome-tweak-tool>shell extensions, dopo riavviare gnome-shell, con Alt-F2 digitato r e poi Invio.
enjoy 😉