Extensión del tema del usuario de GNOME Shell

¿Cómo activo la extensión de tema de usuario gnome-shell en Oneiric con GNOME 3.2? He instalado el paquete gnome-shell-extensions-user-theme pero no puedo encontrar ningún lugar sobre cómo activarlo. Pensé que el gnome-shell-extensions-tool era el camino, pero cuando lo ejecuto, no pasa nada.

Instale GNOME Tweak Tool: gráficamente o use la línea de comando:

 sudo apt-get install gnome-tweak-tool 

Una vez instalado, abra la herramienta Tweak de GNOME (debería aparecer como “Configuración avanzada” en el menú) y active la extensión Tema de usuario.

Tenga en cuenta que para poder instalar o cambiar los temas del Shell de GNOME usando la herramienta Tweak de GNOME, después de habilitar la extensión del tema de usuario, es posible que deba reiniciar la herramienta Tweak o el shell de GNOME completo (presione ALT + F2 e ingrese “r” o cierre la sesión y volver a iniciar sesión en. Esto no es necesario para otras extensiones.