Buonasera a tutti,
Da 24 ore a questa parte sono passato da una distro Ubuntu-based a Fedora 22 con GNOME.
Premetto che Firefox pre-installato funziona alla perfezione mentre con altri browser, tra cui Firefox Developer Edition installato manualmente (ho la cartella in Documenti con un lanciatore che ci fa riferimento), non riesco ad installare estensioni per GNOME perchè manca il plugin `GNOME Shell Integration`.
Ho provato a cercare un po' e pure a linkare tale plugin presente in Firefox preinstallato nella stessa cartella in cui è presente il plugin di Cisco pensando potesse risolvere il problema, ma non ha avuto esito positivo: Firefox Dev proprio non vuole riconoscerlo.
Qualcuno di voi ha già avuto a che fare con questo plugin e potrebbe aiutarmi a risolvere? Grazie
==================
EDIT:
Il plugin si trova al percorso
/usr/lib64/mozilla/plugins/
(o sotto /usr/lib/... se si è su un sistema a 32 bit).
Le versioni di Firefox scaricate dal sito e non instalalte da repository leggono i plugin presenti nella cartella
~/.mozilla/plugins/
, quindi basta creare il collegamento al plugin desiderato in tal cartella:
ln -s /usr/lib64/mozilla/plugins/libgnome-shell-browser-plugin.so ~/.mozilla/plugins/