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 restart ) >
Works like a charm, thanks! raffaele