Extensiones de gnome-shell …

3 Feb

gnome_logo_3d_by_ilnanny… 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/.

Captura de pantalla de 2015-02-03 17:52:02

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.