As extensões do Gnome permanecem na lista depois de serem removidas

Question

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

Agora, na minha lista, tenho várias extensões que já foram excluídas. O engraçado é que eu não posso reinstalá-los também, já que tanto o gnome-tweak-tool quanto o website 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 alguma maneira de atualizar o status das extensões instaladas?

    

Answer 1

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

Abra o terminal: (no menu de aplicativos ou pressionando Ctrl + Alt + T)

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

digite este comando:

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

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

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

rm -r name-of-extention

por exemplo: rm -r [email protected] /

e pressione: Alt + F2 então digite "r" sim simples apenas um r

Ok, está feito.

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

    

Answer 2

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 só desativa.