As extensões do Gnome Shell são instaladas em /usr/share/gnome-shell/extensions ou em ~/.local/share/gnome-shell/extensions, sendo o primeiro global e o segundo válido apenas para o próprio usuário. Para instalar uma extensão de forma manual, obtenha o pacote ZIP correspondente a extensão desejada em https://extensions.gnome.org . Em cada página de extensão do extentions.gnome.org há um link que aponta para a Home Page do projeto. Seguindo um desses links , procure o pacote ZIP para download . Após o download do ZIP, abra-o com o Gerenciador de Pacotes conforme: Clique no botão Extrair , use a combinação de teclas Control+H para exibir arquivos ocultos e navegue até o diretório ~/.local/share/gnome-shell/extensions , quando estiver no diretório clique no botão Criar pasta e digite o nome do novo diretório (obs.: use o nome da extensão). Depois de criada a pasta, selecione-a e clique em Extrair . Por garantia efetue logout e abra uma nova sessão do Gnome She...