Petr Kovar
pknbe@volny.cz 2013
As extensións de GNOME Shell permítenlle personalizar a interface de GNOME Shell por omisión.
Fran Diéguez
frandieguez@gnome.org 2010-2025

# Que 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 Alt F2, 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.