Petr Kovar
pknbe@volny.cz 2013
Las extensiones de GNOME Shell permiten personalizar el interfaz predeterminado de GNOME Shell.
Oliver Gutiérrez
ogutsua@gmail.com 2018 - 2020
Daniel Mustieles
daniel.mustieles@gmail.com 2017 - 2019

# ¿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

Pulse AltF2, escriba lg y pulse Intro para abrir Looking Glass.

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