Le estensioni di Gnome rimangono nell'elenco dopo essere state rimosse

Ho un piccolo problema con le estensioni della shell di gnome. Dopo averne installato alcuni, ho capito che non mi piacevano e ho deciso di rimuoverli. Le estensioni stesse (le loro cartelle in /home/username/.local/share/gnome-shell/extensions) sono state eliminate correttamente. Tuttavia, le estensioni eliminate non sono state rimosse dall'elenco delle estensioni installate su extensions.gnome.org . Inoltre, non sono stati rimossi dall'elenco in gnome-tweak-tool.

Quindi ora nella mia lista ho un sacco di estensioni che ho già eliminato. La cosa divertente è che non riesco a reinstallarli, dato che sia lo strumento gnome-tweak che il sito web pensano che siano ancora lì. Questo non è un grosso problema ovviamente, ma lo trovo un po 'fastidioso.

Reinstallare gnome-tweak-tool non ha aiutato.

C'è un modo per aggiornare in qualche modo lo stato delle estensioni installate?

Come rimuovere completamente una o tutte le estensioni di Gnome-shell

Apri terminale: (dal menu dell'app o premendo Ctrl + Alt + T)

Quindi digitare: sudo su - e digitare la password e premere invio

quindi digitare questo comando:

cd /home/"your user account"/.local/share/gnome-shell/extensions/

quindi digita questo comando per visualizzare tutte le estensioni installate: ls

quindi digita questo comando per rimuovere ogni estensione che desideri veramente rimuoverla completamente:

rm -r name-of-extention

ad esempio: rm -r dash-to-dock@yyy.gmail.com/

e premere: Alt + F2 quindi digitare "r" sì semplice solo una r

Ok fatto.

Puoi controllare extensions.gnome.org per esserne sicuro.

Vai su estensioni installate su extensions.gnome.org e fai clic sul simbolo X nel cerchio a destra dell'estensione per disinstallarlo. L'interruttore ON / OFF lo disabilita solo.