Firefox et les extensions gnome-shell

Le site des extensions gnome-shell permet d'installer des extensions directement depuis Firefox via un plugin. Sauf qu'un bug javascript m'a empêché de l'utiliser pendant quelques jours...

L'erreur provient du fait qu'une dépendance, en l'occurence un plugin jquery chargé de gérer les cookies, ne semble pas être disponible au chargement de la page.

Image

Erreur javascript lorsque l'on visite le site https://extensions.gnome.org/ avec Firefox 13 sous fedora 17.

J'ai posté un rapport de bug à ce sujet. Si je n'ai pas (encore) trouvé ce qui pouvait le causer, la création d'un nouveau profil utilisateur à résolu le problème.

Avant ce contournement, je passais par une installation locale d'Aurora pour utiliser le site. Pour pouvoir le faire, il a fallu rendre disponible le plugin « gnome shell integration », ce qui se fait en créant un lien symbolique dans le dossier local des plugins de Firefox :

ln -s /usr/lib64/mozilla/plugins/libgnome-shell-browser-plugin.so ~/.mozilla/plugins/libgnome-shell-browser-plugin.so
Lien symbolique pour utiliser le plugin « gnome shell integration » avec les installations locales de Firefox.