Você não precisa de um ppa para extensões de gnome
Faça o download diretamente das extensões do Gnome
No seu caso, link
A instalação diretamente;)
Se você deseja usar um ppa, você terá que contatar o mantenedor ppa se você tiver um problema.
isto são alguns comandos para instalar a extensão do tema do usuário.
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme
clique aqui.esta captura de tela do terminal quando esses comandos são executados
Você não precisa de um ppa para extensões de gnome
Faça o download diretamente das extensões do Gnome
No seu caso, link
A instalação diretamente;)
Se você deseja usar um ppa, você terá que contatar o mantenedor ppa se você tiver um problema.