Só pra ficar registrado: 2- Para desinstalar as extensões completamente, segundo pude levantar pesquisando na Internet, basta apagar a pasta (e seu conteúdo) correspondente à extensão que se pretende desinstalar (o nome da pasta é o título original em inglês da extensão seguido de @ e o nome do desenvolvedor). Essas pastas ficam em: ~/.local/share/gnome-shell/extensions/ e /*usr/local/share/gnome-shell/extensions/*
Depois reiniciar a shell (Alt+F2 -> r -> enter) Ainda estou investigando a questão 1. - - - · Atenciosamente, Márcio Vinícius Pinheiro http://pt.gravatar.com/marciovinicius Em 27 de agosto de 2013 13:38, Márcio Vinícius Pinheiro < [email protected]> escreveu: > Caros, > tenho dois problemas aparentemente (porém não necessariamente) > relacionados. > > 1- Instalei alguma extensão no Gnome shell que tem causado mal > funcionamento na shell: ao acessar a shell no hot-spot, tudo funciona > perfeitamente (busca, atalhos, os programas abrem, consigo trocar o > desktop, etc.) exceto pelo fato de que a shell não sai da tela > (impossibilitando de eu acessar de volta as janelas dos programas). Alguém > tem notícia de um problema semelhante? Estou usando o Sid. Pretendo > desinstalar todas as extensões e instalar uma a uma e testar pra achar a > vilã... é aí que entro no segundo problema. > > 2- Tanto pelo site https://extensions.gnome.org quanto pela janela de > opções consigo desativar as extensões, mas não consigo desinstalá-las (uma > ou outra consigo, a grande maioria não). Clico no X para desinstalar e nada > acontece. Isso é um problema conhecido? Há algum outro jeito de desinstalar > extensões do Gnome Shell? > > - - - · > Atenciosamente, > > Márcio Vinícius Pinheiro > http://pt.gravatar.com/marciovinicius >
