Extensiones en Gnome 3.6

Con la llegada de Gnome 3.6 a Ubuntu 12.10 se han tenido que actualizar la mayoría de extensiones las cuales podemos administrar fácilmente vía web e instalar nuevas desde: https://extensions.gnome.org/

Recordemos que deberemos tener instalado el paquete gnome-tweak-tool para administrarlas correctamente y que nos saldría como "Herramienta de retoques"
A continuación os señalo cuales son creo yo de las mas básicas para la mayoría ademas de funcionales:
Terminal desplegable, puede sustituir a Guake pero no soporte multiterminales
Monitor de sistema muy configurable
Dock muy configurable
Opcion suspender directa en el menú (sin pulsar botones)
Controles de reproduccion
Efecto rotatorio Alta+Tab
Monitor transmission (torrents)
Menu estilo gnome2
User theme Para poder cambiar el tema del shell

Al darle a activar alguna de ellas se nos pedirá permiso para instalarlas y desde entonces podremos usarlas sin mayores problemas

Y para evitar confictos con extensiones antiguas instaladas desde ppa desinstalarlas desde synaptic y si las descargamos aparte borrandolas de ~/.local/share/gnome-shell/extensions