Pergunta semelhante aqui
Howto:
Adicione o ppa oficial do Gnome Shell Extensions:
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
Instalar dependências:
sudo apt-get install gnome-shell-extensions
sudo apt-get install gnome-shell-extensions-common