6 extensiones que nos harán la vida más fácil y cómoda en Gnome Shell

Extensiones para Gnome Shell hay muchas y muy variadas, lo conveniente es usar solamente aquellas que nos sean necesarias o bien por trabajo o comodidad.

En este caso, vamos a ver esas 6 simples extensiones que todo user sencillo de Gnome Shell debería tener.

A tener en cuenta varios detalles.

Esto lo estoy probando en Antergos sobre Gnome Shell 3.12.2. Algunas extensiones de las más "necesarias" ya vienen en repositorios con simplemente instalar el paquete "gnome-shell-extensions" luego solo es seleccionar la que queramos desde Gnome Teawk Tool o "Apariencia" que se llama ahora.

No soy de los que suelen usar  extensiones de monitoreo del sistema, o del tiempo, en el panel de Gnome.


Tampoco me hago a tener el Dock Dash lateral izquierdo de Gnome Shell, de ahí que use un Dock alternativo.

Y tampoco soy bueno con los atajos de teclado, nunca los recuerdo.

Empecemos por el principio.

Estas primeras que nombraré ya vienen dentro del paquete "gnome-shell-extensions"de los repositorios de Antergos/Arch.

User Themes | Extensión necesaria para poder usar  themes shell desde nuestro directorio de usuario

 Applications Menu | Menú alternativo para tener a mano nuestras aplicaciones instaladas, fácil rápido y cómodo.

Places Status Indicator | Extensión que nos muestra desde el panel todos nuestros directorios, muy cómoda.

Extensiones que he instalado desde la web de Gnome Shell Extensiones.

 

Simple Dock | Dock inferior completo y cómodo. Al activar este Dock sustituye al Dash Lateral de Gnome Shell

 

Panel OSD | Extensión que nos muestra las notificaciones del escritorio en el panel superior de Gnome

 

TopIcons | Extensión para mostrar en el panel superior los iconos de las aplicaciones abiertas al igual que teníamos en Gnome 2.

 

Y bien, como dije antes, extensiones hay muchas más, pero para un uso sencillo del escritorio estas son 6 buenas para empezar, y a algunos nos basta con ellas.

Como es lógico, las extensiones se activan y desactivan, o desinstalan, desde la aplicación Apariencia "Gnome Tweak Tool"

 

Y nada más por hoy, espero que esto le sea de utilidad  ;)