Pages - Menu

19 jun. 2012

GNOME-Shell en Ubuntu 12.04 [Solución al problema con extensión user-themes]



Al instalar GNOME-Shell en Ubuntu 12.04 tuve problemas con la extensión user themes, ya que al instalarla gnome-tweak-tool (Advanced Settings) no funcionaba, y al tratar de ejecutarlo desde la terminal me daba el siguiente error:


(gnome-tweak-tool:11916): GLib-GIO-ERROR **: Settings schema 'org.gnome.shell.extensions.user-theme' is not installed


Buscando encontré primero la solución en el sitio cactus.enreda.coop que a su vez la obtuvo de askubuntu.com y es muy sencilla y la siguiente:



Abres una terminal y escribes:


$ sudo cp $HOME/.local/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gcampax.github.com/schemas/org.gnome.shell.extensions.user-theme.gschema.xml
/usr/share/glib-2.0/schemas 

$ sudo glib-compile-schemas /usr/share/glib-2.0/schemas


Luego ejecutas nuevamente gnome-tweak-tool y debería funcionar sin problemas.


No hay comentarios.:

Publicar un comentario