Ubuntu 12.04 fix gnome-shell 3.4 « User Themes » extension

Ayant quelques soucis d’affichage avec gnome-shell sur la debian/wheezy de mon desktop (merci ma carte nvidia pas chère), je suis repassé sur ubuntu 12.04.

Cette version 12.04 LTS semble assez stable et me donne pour l’instant entière satisfaction sous GNOME Shell 3.4.1.

Lors de l’installation du lot d’extensions indispensables à la personnalisation de gnome-shell, je me suis heurté à un bug de l’extension « User Themes » !

L’installation de celle-ci par le biais du market d’extensions extensions.gnome.org fait planter gnome-tweak-tool avec le message d’erreur suivant (si lancé depuis le terminal) :

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

Pour résoudre ce problème il suffit de compiler le schema org.gnome.shell.extensions.user-theme.gschema.xml  avec l’utilitaire gnome glib-compile-schemas :

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

Le pourquoi ? : Sous gnome3 GConf a été remplacé par GSettings. La principale différence, entre ces deux gestionnaires de configuration gnome, est que GConf stockait ses schemas sous formes xml tandis que GSettings les stocke sous forme binaire. Les schemas dont l’emplacement par défaut est /usr/share/glib-2.0/schemas nécessitent donc d’être compilés avec  glib-compile-schemas.