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 |