Petr Kovarpknbe@volny.cz2013As extensións de GNOME Shell permítenlle personalizar a interface de GNOME Shell por omisión.Fran Diéguezfrandieguez@gnome.org2010-2025Que son as extensións de GNOME Shell?
GNOME Shell extensions allow customizing the default GNOME Shell interface
and its parts, such as window management and application launching.
Each GNOME Shell extension is identified by a unique identifier, the uuid.
The uuid is also used for the name of the directory where an extension is
installed. You can either install the extension per-user in
~/.local/share/gnome-shell/extensions/<uuid>, or
machine-wide in
/usr/share/gnome-shell/extensions/<uuid>.
Para ver as extensións instaladas, pode usar Looking Glass, o depurador e ferramenta de inspección integradas de GNOME Shell
Ver as extensións instaladas
Prema AltF2, escriba en lg e prema Intro para abrir Looking Glass.
Na barra superior de Looking Glass, prema Extensións para abrir a lista das extensións instaladas.