Actualización 19/04/2017: Se ha testeado que funciona para las versiones de Ubuntu 16.04 y posteriores, incluyendo Gnome 3.22
Bueno, acabo de instalar Ubuntu 12.04 y en el ppa de WebUpd8 no tenemos la extensión «gnome-shell-extensions-user-theme». Esto provoca que el programa «gnome-tweak-tool» no pueda instalar nuevos temas.
Pero tiene solución, y la verdad, bastante cómoda. Sólo tendremos que ir a https://extensions.gnome.org/extension/19/user-themes/ y darle a activar, siendo conscientes de que estamos en la sesión con gnome shell.
Y así de simple, ya tendremos la posibilidad de añadir más temas del shell
excelente al principio crei que no funcionaria, pero funciono al 100, se agradece el aporte