Activar temas GNOME-Shell en Fedora 16

Un bug en Gnome Tweak Tool no nos deja cambiar del tema de nuestro gnome aun después de haber instalado el gnome shell extension, pues aquí les describo dos pasos para arreglar este bug.

Primero debemos asegurarnos de que tenemos instalados los siguientes paquetes:

yum install gnome-tweak-tool
yum install gnome-shell-extensions-user-theme

Opción 1: Un solo comando en una Terminal como ROOT:

sed -i 's/THEME_EXT_NAME = "user-theme@gnome-shell-extensions.gnome.org"/THEME_EXT_NAME = "user-theme@gnome-shell-extensions.gcampax.github.com"/' /usr/lib/python2.7/site-packages/gtweak/tweaks/tweak_shell.py

Opción 2: Editamos el siguiente archivo:

sudo gedit /usr/lib/python2.7/site-packages/gtweak/tweaks/tweak_shell.py

Buscamos la línea con el texto:

THEME_EXT_NAME = user-theme@gnome-shell-extensions.gnome.org

Reemplazamos con el siguiente texto:

THEME_EXT_NAME = user-theme@gnome-shell-extensions.gcampax.github.com

Guardamos y reiniciamos el entorno gráfico con Alt+F2 y damos r debería aparecer disponible la opción de cambiar los temas.