As extensões do Gnome permanecem na lista após serem removidas

Eu tenho um pequeno problema com as extensões do shell gnome. Depois de instalar alguns deles, entendi que não gostava deles e decidi removê-los. As extensões em si (suas pastas /home/username/.local/share/gnome-shell/extensions) foram excluídas com sucesso. No entanto, as extensões excluídas não foram removidas da lista de extensões instaladas em extensions.gnome.org . Eles também não foram removidos da lista no gnome-tweak-tool.

Então agora na minha lista eu tenho várias extensões que eu já apaguei. O engraçado é que não consigo reinstalá-los também, pois a ferramenta gnome-tweak e o site acham que ainda estão lá. Isso não é grande coisa, é claro, mas acho um pouco chato.

Reinstalar o gnome-tweak-tool não ajudou.

Existe uma maneira de atualizar de alguma forma o status das extensões instaladas?

Como remover uma ou todas as extensões do Gnome-shell completamente

Abra o terminal: (no menu do aplicativo ou pressionando Ctrl + Alt + T)

Em seguida, digite: sudo su - e digite sua senha e pressione enter

em seguida, digite este comando:

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

digite este comando para ver todas as suas extensões instaladas: ls

digite este comando para remover cada extensão ou extensão que você realmente deseja remover completamente:

rm -r name-of-extention

por exemplo: rm -r dash-to-dock@yyy.gmail.com/

e pressione: Alt + F2 e digite “r” sim simples apenas um r

Ok, pronto.

Você pode verificar extensions.gnome.org para ter certeza disso.

Vá para as extensões instaladas em extensions.gnome.org e clique no símbolo X no círculo à direita da extensão para desinstalá-lo. O interruptor ON / OFF apenas o desativa.