Eu tentei perguntar isso no Unix & amp; Stackexchange do Linux, mas este pode ser um lugar melhor.
Eu tenho tentado instalar algumas extensões do Gnome no site https://extensions.gnome.org . Eu recebo o diálogo perguntando se eu quero instalar, mas depois que eu seleciono sim, ele falha silenciosamente. Esse é o comportamento usando o Firefox ou o Chromium. Verifiquei se o plug-in Gnome Shell Integration está instalado e ativado para o Chromium e o Firefox.
Meu sistema operacional no Ubuntu 12.10 e minha versão do Gnome é 3.6.3.1. Eu tenho certeza (usando sudo apt-get update ) que tudo está atualizado. Eu tentei reiniciar, mas sem sucesso. O que estou fazendo de errado e como corrijo isso (ou o que é uma boa solução)?
NOTA: Eu tenho a ferramenta gnome-tweak instalada, e ela não mostra nenhuma extensão como instalada. Não há nada acontecendo depois que eu confirmo que quero baixar a extensão.
EDIT: as extensões estão funcionando agora. Eu não sei porque. Talvez estivesse reiniciando. Vou marcar a resposta abaixo como aceita porque fornece boas informações que podem ajudar os outros. Eu sugeri a qualquer um em minha posição apenas garantir que tudo esteja atualizado, reiniciar e verificar, de vez em quando, se está funcionando.
Para poder instalar e usar as extensões de shell do GNOME, precisamos dos seguintes pacotes:
Podemos então instalar as extensões, ligando o interruptor no canto superior esquerdo da página de download das extensões do GNOME para ON Girar esta chave para OFF desativará a extensão.
Extensões ou temas carregados podem ser controlados com a ferramenta de ajuste do GNOME.
