… que estoy empleando y que siempre olvido en nuevas instalaciones.
Introducción
Lo primero es indicar el lugar donde se pueden gestionar cómodamente estas extensiones: https://extensions.gnome.org.
Si se le da permiso emplea un complemento en el navegador (Iceweasel en mi caso) que permite manipularlas directamente. Eso implica la instalación, desinstalación y configuración de las extensiones, y su activación y desactivación directa e inmediata. Muy cómodo porque no necesita registro previo, basta con visitar https://extensions.gnome.org/local/.
Un par de cosas más:
- El complemento en Debian se incluye en el paquete gnome-shell; en el navegador basta con autorizar la ejecución.
- Otros ajustes del escritorio los describí tiempo atrás en esta entrada.
Las extensiones
Estas son las que tengo activas siempre:
- Alternate Tab: cambia la forma de recorrer las ventanas; de agruparlas por aplicación pasa a hacerlo por ventana individual. Esencial para mi forma de trabajo..
- Places Status Indicator: para mostrar un desplegable con los lugares del sistema, incluyendo los favoritos.
- Removable Drive Menu: porque me gusta tener un acceso directo a los dispositivos extraíbles.
- Remove Accesibility: que elimina el menú de opciones de accesibilidad y me deja algo más de espacio. No lo necesito de momento.
- Sensors:para ver la temperatura, el voltaje y otra información de hardware que proporciona el paquete lm-sensors.
- SystemMonitor: porque me gusta ver de un vistazo rápido la carga del sistema.
- Weather: informa muy bien de las condiciones meteorológicas aunque ocupe un gran espacio en la barra superior.
- Workspace Indicator: y es que siempre me gusta saber en qué escritorio virtual estoy. Otra de mis manías a la hora de trabajar: cada aplicación va en su sitio.
Y estas otras son las que están instaladas a veces y activas en ocasiones:
- Applications Menu: ya que a veces prefiero recurrir directamente a la ya bien establecida clasificación de programas por área.
- Auto Move Windows: porque ya he dicho que soy un poco maniático sobre dónde colocar las cosas.
- Media Player Indicator: para ver qué suena cuando suena.