Après une nouvelle installation d'Ubuntu-Gnome 14.04.1, il m'a été impossible d'installer des extensions gnome via le site Web https://extensions.gnome.org/ . Le site Web aurait donné une erreur disant qu'il ne pouvait pas détecter que gnome était installé sur mon système. J'utilise le paquet gnome Shell "gnome-Shell 3.10.4-0ubuntu5.2 AMD64". Comment faire en sorte que le site Web reconnaisse gnome sur mon système pour pouvoir installer des extensions à partir de gnome.org?
Dans le menu de firefox: Add-ons> Plugins et sélectionnez Toujours activer pour le plugin Gnome Shell Integration.
Ma solution a été d’ajouter une extension au navigateur Web Firefox.