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...