Gentoo Archives: gentoo-user

From: Rasmus Thomsen <Rasmus.thomsen@××××××××××.com>
To: gentoo-user@l.g.o
Subject: Re: [gentoo-user] gnome shell extensions installation without chrome/firefox
Date: Tue, 30 May 2017 09:24:58
Message-Id: XFgi6pZ-H0ntoSkGh_22eyzDfNlR9R8APDPO24CrzukiuLqA4_EsC63v3KFTrMigoaFuFemdbW8R38-Gtmkg3t2X7v0CJqCEKQM0dB_a5bM=@protonmail.com
In Reply to: [gentoo-user] gnome shell extensions installation without chrome/firefox by Raffaele Belardi
1 Hey,
2
3 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 )
4
5 Rasmus
6
7 -------- Original Message --------
8 On 30 May 2017, 10:26, Raffaele Belardi wrote:
9 I have Seamonkey and the default Gnome browser (epiphany) installed,
10 none of which seems to be compatible with the Gnome shell extensions
11 plugin system.
12
13 Is there an alternative way to install shell extensions? Possibly by
14 customizing the gnome-shell-extensions package?
15
16 thanks,
17
18 raffaele

Replies

Subject Author
Re: [gentoo-user] gnome shell extensions installation without chrome/firefox Raffaele Belardi <raffaele.belardi@××.com>