Eu estou no Debian Wheezy estável com o Gnome 3.4 e tenho várias extensões padrão, que na página 'Installed Extensions' no link (usando o plugin Gnome Shell Integration do Iceweasel), não podem ser removidos como os que eu adicionei do extensions.gnome.org.
Estes incluem (para mim de qualquer maneira - e esta pode não ser a lista completa, pois eu provavelmente tenho um ou dois deles habilitados e, portanto, não há maneira rápida de conhecer todos eles):
Menu de status alternativo
Menu Aplicações
Auto Mover Janelas
Dock Dock:
Integração com o Gajim IM
Indicador de status do Google Places
SystemMonitor
Temas do usuário
windowNavigator
Indicador de espaço de trabalho
Inspecionando o HTML da página de extensões instaladas, não vejo nenhuma maneira de hackeá-lo através da ferramenta de desenvolvedor do Firefox (pelo menos com meu conhecimento limitado em HTML e apenas de uma rápida olhada) para tornar essas extensões desinstaláveis por essa página.
É tão simples quanto excluir (por exemplo, a primeira) a pasta /usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gcampax.github.com , depois reiniciar o Gnome Shell e ela será removida da lista?
Eu quero fazer isso corretamente, sem apresentar problemas depois.
Para mim, em Fedora 26 executando gnome 3.24 , esses pacotes foram realmente instalados como pacotes de SO.
Se eu executar sudo dnf list installed | grep -i gnome , normalmente os vejo com um nome como gnome-shell-extension-foo .
Eu poderia removê-los desinstalando este pacote e não usando diretamente a página de extensões instaladas. Reiniciei a sessão do meu navegador e essas extensões desapareceram da lista.
Tags uninstall gnome gnome-shell gnome3