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.