O que são as extensões da interface do GNOME?

As extensões da interface do GNOME permitem personalizar a interface do GNOME e os seus componentes, tal como a administração de janelas e a execução de aplicações.

Cada extensão de interface do GNOME é identificada por um Identificador Único Universal. O UUI também é utilizado para nomear o diretório de instalação de uma extensão. É possível instalar extensões por utilizador em ~/.local/share/gnome-shell/extensions/<uuid>, ou para todo o sistema em /usr/share/gnome-shell/extensions/<uuid>.

Para consultar as extensões instaladas, pode utilizar o Looking Glass, o depurador integrado e ferramenta de inspeção da interface do GNOME.

Consultar as extensões instaladas

  1. Pressione o atalho de teclado Alt+F2, digite lg e clique em Enter para abrir o Looking Glass.

  2. Na barra superior do Looking Glass, clique em Extensões para abrir a lista de extensões instaladas.