Ho seguito i passaggi pubblicati qui con l'intenzione di installare un tema personalizzato scaricato dal sito precedente.
Quando arrivo al passaggio:
Ora dovrai disconnetterti e riconnetterti affinché l'estensione venga "prelevata
" dal sistema, quindi abilitare l'estensione dalla scheda "Shell
Estensioni" in "Impostazioni avanzate/GNOME L'app Tweak Tool.
Apro GNOME Tweak Tool e vado alla scheda Estensioni della shell ma ottengo quanto segue:
Che cosa sto facendo di sbagliato? Non riesco a vedere le opzioni necessarie per abilitare i temi di estensione della shell.
Risposta accettata:
Hai effettuato l'accesso a GNOME Shell? Inoltre, hai installato qualche estensione?
Per quanto ne so, le estensioni vengono visualizzate solo dopo aver effettuato l'accesso a GNOME Shell. In Unity, ad esempio, la scheda Estensioni è vuota.