Você pode tentar adicionar o webupd8 gnome3 ppa. Este ppa tem algumas das melhores extensões do gnome-shell, incluindo a extensão do tema do usuário. você pode adicionar este ppa digitando o seguinte no terminal:
sudo add-apt-repository ppa:webupd8team/gnome3
seguido por:
sudo apt-get update
em seguida, tente instalar a extensão do tema do usuário com:
sudo apt-get install gnome-shell-extensions-user-theme
Isso funciona para mim na minha versão do gnome-shell, se não funcionar, por favor poste sua versão do gnome-shell aqui.
fonte: link