Como remover completamente uma extensão do shell gnome?

26

Estou executando o gnome-shell 3.4.1 no Ubuntu 12.04. Venho testando várias extensões do http://extensions.gnome.org e agora quero remover completamente algumas, especialmente para que elas não ocupem espaço na Gnome Tweak Tool.
É seguro excluir a pasta de extensão abaixo ~/.local/share/gnome-shell/extensions/?

12.04 gnome gnome-shell gnome-shell-extension MorganSBailey
fonte

Respostas:

23

Na página shell do Gnome, ele diz:

Existem alguns erros GNOME 3.2que impediram a desinstalação de funcionar corretamente em algumas extensões. O GNOME Shell 3.2.2.1 corrigiu esses problemas. Verifique se o seu sistema está totalmente atualizado se você estiver com problemas para desinstalar extensões.

Se você não possui o GNOME Shell 3.2.2.1 e pode não conseguir obtê-lo ou não tem certeza, pode desinstalar a extensão manualmente. Remova o diretório da extensão e reinicie o Shell. A extensão deve ser armazenada em ~/.local/share/gnome-shell/extensions. Remover o diretório não será suficiente: você precisará reiniciar o Shell para garantir que a extensão seja completamente desinstalada: abra a caixa de diálogo de execução com Alt + F2 e digite restart.

Então, você ficará bem removendo a extensão ~/.local/share/gnome-shell/extensionsmanualmente.

Achu
fonte
3
Isso parece sugerir que existe um certo processo de desinstalação nas versões após o 3.2.2.1 (exceto a exclusão manual da pasta e a reinicialização) - que, no entanto, não é especificado. De qualquer forma, obrigado.
MorganSBailey
2
Eu removi a pasta de algumas extensões, mas algumas voltam novamente após a reinicialização !!! (ou seja, menu de aplicativos, AlternateTab e etc.)
Rahmani
2
@ Ramani, se você ainda tem esse problema: Olhe /usr/share/gnome-shell/extensions/. Aparentemente, algumas extensões são instaladas em todo o sistema e, pelo menos no meu caso, não foram removíveis pelo site.
Steffen Winkler 28/11
1
@ SteffenWinkler obrigado, funciona perfeitamente. Eu não sabia que ele está instalado em todo o sistema
ismailsunni 17/01
11

OK, encontrei. Em https://extensions.gnome.org , navegue abaixo Installed extensions, onde há um botão X ao lado de cada extensão que o desinstala. Como mencionado na resposta anterior, isso funciona apenas após a versão 3.2.2.1.

insira a descrição da imagem aqui

MorganSBailey
fonte
11
Isso nem sempre funciona ...
Wilf
Desinstalei a extensão desta página, mas alguns deles voltam novamente após a reinicialização !!! (ou seja, menu de aplicativos, AlternateTab e etc.)
Rahmani
@Rahmani - Essas são extensões do fmuellner extensions.gnome.org/accounts/profile/fmuellner ... Baixei a extensão User Settings e ela adicionou várias outras extensões. Agora não consigo excluir nenhum deles.
Guttermonk #
4

O formato de extensões 'fmuellner' parece ser armazenado em um diretório "/ usr / share / gnome-shell / extensions /" e outras extensões são armazenadas em um diretório "~ / .local / share / gnome-shell / extensions". Eu também tive esse problema antes. Eu o resolvi excluindo esses diretórios e reiniciando o computador. Você não pode excluí-los do navegador ou explorador de arquivos. Portanto, são necessárias permissões de superusuário para excluí-los. Use o seguinte comando no terminal. $ sudo rm -r /usr/share/gnome-shell/extensions/ $ sudo rm -r ~/.local/share/gnome-shell/extensions/

e depois reiniciar o computador a partir da GUI ou você pode usar $ sudo init 6

Cuidado para não excluir outros diretórios por engano. A correção acima funcionou para mim. Espero que ajude.

prasad_myway
fonte
1

Vi a última atividade "há 2 meses", caso contrário não responderia.

Eu não sei o quão difícil era antes, mas hoje em dia você pode simplesmente ir para o ubuntu software center, seção "instalada"

Pavlos Theodorou
fonte