¿Qué son las extensiones de GNOME Shell?

Las extensiones de GNOME Shell permiten personalizar el interfaz predeterminado de GNOME Shell y sus componentes, como la administración de ventanas y ejecución de aplicaciones.

Cada extensión de GNOME Shell está identificada por un identificador único, el UUID. El UUID se utiliza también como nombre de la carpeta donde se instala la extensión. Puede instalar la extensión por usuario en ~/.local/share/gnome-shell/extensions/<uuid> o para todo el sistema en /usr/share/gnome-shell/extensions/<uuid>.

Para ver las extensiones instaladas, puede utilizar Looking Glass, la herramienta integrada de depuración e inspección de GNOME Shell.

Ver las extensiones instaladas

  1. Pulse Alt+F2, escriba lg y pulse Intro para abrir Looking Glass.

  2. En la barra superior de Looking Glass, haga click en Extensiones para abrir la lista de extensiones instaladas.