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

  1. Prema Alt+F2, escriba en lg e prema Intro para abrir Looking Glass.

  2. Na barra superior de Looking Glass, prema Extensións para abrir a lista das extensións instaladas.