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?
fonte
Respostas:
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:
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:
por exemplo: rm -r [email protected]/
e pressione: Alt + F2 e digite “r” sim simples apenas um r
Ok, pronto.
Você pode verificar extensions.gnome.org para ter certeza disso.
fonte
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.
fonte