web-dev-qa-db-fra.com

Demander l'URL du plugin d'intégration gnome-Shell pour Firefox

Merci de me donner le lien pour télécharger le plugin d’intégration gnome-Shell qui me permettra d’installer ultérieurement les extensions gnome-Shell via le navigateur Web.

Je veux juste le lien vers le plugin,

Je ne veux pas faire apt-get dist-upgrade ou réinstaller gnome.

Le lien vers le plugin lui-même devrait être disponible pour tous les utilisateurs à installer.

Je ne trouve pas le lien sur google ou dans la section plugin/addon.

3
Joshua Robison

Je crois que la confusion est que le plugin ne semble pas être livré comme plugin sur les addons ff. Au lieu de cela, vous le trouverez dans le dépôt pour votre distribution. Voir les listes de fichiers ci-dessous. Malheureusement, il semble également que toutes les distributions ne le placent pas dans le même "genre" de lieu.

Ubuntu: http://packages.ubuntu.com/saucy/AMD64/gnome-Shell/filelist Fedora: http://rpmfind.net/linux/RPM/Fedora/updates/ 19/x86_64/gnome-Shell-3.8.4-3.fc19.x86_64.html

Le plugin réel (en tant que xpi) peut être disponible quelque part, mais je ne le trouve pas.

De plus, le lien dans @ user118369 est destiné au plugin tbird, qui est tout autre chose.

4
1angdon

Ce fichier est un plugin de firefox (PAS une extension) et est donc stocké sous

/usr/lib/mozilla/plugins/libgnome-Shell-browser-plugin.so

vous pouvez vérifier cela dans un firefox entièrement fonctionnel (gnome!) en entrant ceci dans la barre d'adresse de firefox:

about:plugins

puis faites défiler jusqu'à "Gnome Shell Integration", où vous trouverez son chemin.

Si le fichier est manquant sous/usr/lib/mozilla/plugins, je ne sais pas comment l'obtenir, il fait probablement partie de gnome-Shell lui-même (peut-être réinstaller?). J'espère que cela t'aides

EDIT: Il suffit de le réparer! Démarrez une image live de gnome, montez votre disque dur local et faites glisser ce fichier libgnome-Shell-browser-plugin.so dans YourDisk/usr/lib/mozilla/plugins. Je viens de réparer mon FF/Gnome :)

3
mike