Instalar extensiones para Gnome Shell

Gnome3 ya tiene extensiones, una gran cantidad. Todas recogidas en el sitio extensions.gnome.org Con esto Gnome busca afianzarse como un entorno muy personalizable. Mucho mas de que Unity pueda llegar a ser, actualmente el punto débil de Unity para muchos usuarios está en la personalización.
¿Como usamos las extensiones de Gnome? Necesitamos estar ejecutando Gnome Shell 3.2 en nuestro equipo y tener el paquete "gnome-shell-extensions" instalado.
Para ello lo primero es añadir el siguiente repositorio:
sudo add-apt-repository ppa:gnome3-team/gnome3
Actualizamos: sudo apt-get update
Necesitamos instalar Synaptic:  sudo apt-get install synaptic
Y ahora desde Synaptic, instalamos y actualizamos los siguientes paquetes:
- gnome-shell
- gnome tweak tool
- gnome-shell-extensions-common
- gnome-shell-extensions-user-theme
Ahora solo queda definir Gnome 3 por defecto para nuestro inicio de sesión:
1. Desde terminal editamos el fichero lightdm.conf: sudo gedit /etc/lightdm/lightdm.conf
2. buscamos: user-session=ubuntu y lo reemplazamos por
user-session=gnome-shell
Listo, salvamos y ya podemos iniciar nuestra sesión con Gnome Shell por defecto.
Ahora con nuestro navegador entramos en la siguiente web: https://extensions.gnome.org/ Buscamos las extensiones que mas nos gusten y las instalamos con un simple clic.