GNOME Shell extensions have a UUID property; this key lists extensions which should be loaded. Any extension that wants to be loaded needs to be in this list. You can also manipulate this list with the EnableExtension and DisableExtension D-Bus methods on org.gnome.Shell.
Le estensioni per la GNOME Shell dispongono di una proprietà UUID: questa chiave elenca le estensioni da caricare. È necessario inserire in questo elenco ogni estensione che si vuole caricare. È anche possibile modificare questo elenco con i metodi DBus EnableExtension e DisableExtension su org.gnome.Shell.