Ü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/
