Ühel kenal päeval, T, 30.05.2017 kell 10:27, kirjutas Raffaele Belardi: > I have Seamonkey and the default Gnome browser (epiphany) installed, > none of which seems to be compatible with the Gnome shell extensions > plugin system.
gnome-base/gnome-shell[nsplugin] ought to still work for those. > Is there an alternative way to install shell extensions? Possibly by > customizing the gnome-shell-extensions package? There are various ways: * https://extensions.gnome.org/ combined with either chrome-gnome-shell + browser plugin (it should auto-install with chrome/chromium or pop up a notification on the website with a link to the plugin); or gnome-shell[nsplugin] ** Note that chrome-gnome-shell, contrary to what the name makes one possibly think, is also meant to be used with modern Firefox[1] and various other browsers that support the new-ish WebExtensions standard[2] (draft). ** With chrome-gnome-shell you'd also get notifications of outdated extensions with newer versions available and to easily update them (basically avoiding having to go check on extensions.gnome.org Installed extensions tab if there are newer versions) * Installing via a system package (gnome-shell-extensions is just one such a package, there are others, mostly package name starts with "gnome-shell-extensions"), which makes it managed by package manager and be available for enabling for all users, or be default enabled for all users * Installing manually in the appropriate directory as discussed already in other replies * Installing via gnome-tweak-tool somehow, looks like via pointing it at some compressed extension tarball * Installing via gnome-software (yes, we have that packaged and the extensions side of thing should work, albeit the package currently doesn't really let it be installed without all the packagekit stuff, but the extensions work even with packagekit portage integration being rather broken in my tests - it's individual enough) Mostly it all boils down to installing to the appropriate system or user directory, rest is about monitoring for updates, having shortcuts to opening the extensions settings panel, etc. 1. https://developer.mozilla.org/en-US/Add-ons/WebExtensions 2. https://browserext.github.io/browserext/