Petr Kovar
pknbe@volny.cz 2013
Les extensions del GNOME Shell permet personalitzar la interfície del GNOME Shell.
Jaume Jorba
jaume.jorba@gmail.com 2019

# Què són les extensions del GNOME Shell?

Les extensions del GNOME Shell permeten personalitzar la interfície i les seves parts, com la gestió de les finestres i l'arrencada de les aplicacions.

Cada extensió del GNOME Shell s'identifica amb un identificador únic, el uuid. El uuid també s'utilitza com a nom del directori on s'ha instal·lat l'extensió. També es pot instal·lar l'extensió per usuari a ~/.local/share/gnome-shell/extensions/<uuid>, o per l'equip a /usr/share/gnome-shell/extensions/<uuid>.

Per veure les extensions instal·lades, es pot utilitzar la comanda de depuració integrada i l'eina d'inspecció de GNOME Looking Glass.

# Mostrar les extensions instal·lades

Premeu AltF2, teclegeu lg i premeu Retorn per obrir Looking Glass.

A la barra superior de Looking Glass, feu clic a Extensions per obrir la llista d'extensions instal·lades.