Hey, you can install extensions directly into ~/.local/share/gnome-shell/extensions , gnome extensions usually have a link to github on their extension page. Just clone them and restart gnome-shell (login/logout or ALT+F2 and type restart )
Rasmus -------- Original Message -------- On 30 May 2017, 10:26, Raffaele Belardi wrote: I have Seamonkey and the default Gnome browser (epiphany) installed, none of which seems to be compatible with the Gnome shell extensions plugin system. Is there an alternative way to install shell extensions? Possibly by customizing the gnome-shell-extensions package? thanks, raffaele