Tal como expresé en mi anterior artículo sobre este renovado entorno de escritorio, las posibilidades que nos brinda Gnome Tweak Tool son amplias y sorprendentes.
No solo nos ofrece la posibilidad de instalar temas de shell, ventanas, iconos, etc., sino también darle a Gnome otras funcionalidades, y para ello es necesaria la instalación de gnome-shell-extensions.
Las extensiones de Gnome Shell, tal como reza en su descripción, amplían las funcionalidades de este escritorio. Con ello ofrece nuevos paradigmas para el lanzamiento de aplicaciones, el acceso a documentos y la organización de las ventanas abiertas. Este paquete contiene las extensiones oficiales de Gnome Shell.
Una de las extensiones que particularmente me ha resultado muy útil es el Indicador de Lugares, ya que facilita el acceso a las carpetas, dispositivos extraíbles, etc., cuando no deseamos usar iconos en el escritorio.
Los invito a que cada cual pruebe y adecue sus extensiones según sus gustos y comodidades. Les aseguro que su ajuste a través de Gnome Tweak Tool es sumamente fácil.
Los que usan Debian pueden descargar el paquete gnome-shell-extensions desde los repositorios oficiales de la distribución, exactamente desde la sección main. Para Ubuntu, OpenSUSE, Fedora, etc., primeramente deben incluir en el sources.list el ppa de Gnome 3 y desde ahí descargarlo.
¡Que lo disfruten!
Fuente: Cacharreo, insomnio y café, café, café. 😀
En los repos del 13.04 ya viene el paquete de extensiones…y ahora me pregunto: si ya 13.04 is off porqué no me he ido a 13.10? 🙁
Exacto, veo un saco de gente en GUTL usando 13.04, como si fuera obligado usar una versión de Ubuntu si soporte… yo me jure a mi mismo no usar versiones no LTS, para eso uso Arch, incluso Debian Stable con Backports me permite estar bastante al dia (como han cambiado ciertas cosas en Debian, y todavía dicen que Linux Mint es la mas popular)