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 a 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 Alt+F2, teclegeu lg i premeu Retorn per a obrir Looking Glass.
A la barra superior de Looking Glass, feu clic a Extensions per a obrir la llista d'extensions instal·lades.