problema di personalizzazione shell ubuntu 20.04

Innanzitutto stiamo parlando di Gnome Tweak Tool, noto come Personalizzazioni di GNOME, un programma che hai installato in Ubuntu (non è preinstallato di default).
Questa informazione andava scritta nella domanda...

Avviato il programma, nella scheda Aspetto è presente l'opzione Shell che non risulta modificabile e mostra un segnale di attenzione. Se si posiziona sopra il mouse compare la scritta:

L'estensione per la shell "user-theme" non è abilitata.

Manca dunque una estensione al programma.

L'estensione in oggetto non è presente nei repository di Ubuntu 20.04 LTS ma va installata dal sito extensions.gnome.org. Una volta chiuso il programma Personalizzazioni di GNOME procedi come segue:

1. vai alla pagina extensions.gnome.org/extension/19/user-themes;
2. premi il testo Fai clic qui per installare l'estensione del browser posto nella barra azzurra sotto il menù superiore del sito, quindi segui la procedura per installare l'estensione del sito web nel tuo browser;
3. una volta fatto, sempre nella stessa pagina del plugin User Themes, sulla destra sarà presente un selettore in stile ON/OFF; premilo per passare a ON;
4. terminato quanto sopra, apri il programma Personalizzazioni di GNOME; a questo punto l'opzione Shell sarà modificabile.

Fonte