On Tue, 2017-05-30 at 17:29 +0300, Mart Raudsepp wrote:
> Ü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
Ü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.
>
On Tue, 2017-05-30 at 05:24 -0400, Rasmus Thomsen wrote:
>
> 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
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
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
5 matches
Mail list logo
