Mas extensiones para Gnome Shell.

Los que usamos Gnome Shell sabemos que sus extensiones son “la alegría de la huerta”.

GNOME Shell Extensions 3.2.0 es una recopilación que podemos instalar de una en una o todas de una tacada.

Algunas ya las tenia y otras que he visto me gustan como Extensión Dock, Extensión Places Status Indicator, …
Con Gnome Tweak tool activamos las que queramos.

Muy recomendable.

VISTO EN: http://emslinux.com/gnome-shell-extensions-3-2-0-para-ubuntu-11-10/