Re: Add extensions without needing to close the session

2016-12-17 Thread rastersoft
Hi: Thanks for your answer, but it has two problems: - I do know how to do that, but users installing my package don't - Alt+F2 and 'r' doesn't work on Wayland... (I tried it) If extensions.gnome.org can do it, I'm pretty sure there is a way to do that... El 17/12/16 a las 21:32, Jan Niklas Ha

Re: Add extensions without needing to close the session

2016-12-17 Thread Jan Niklas Hasse
Hi, On Sat, 17 Dec 2016, at 01:08, rastersoft wrote: > Hi all: > > I want to distribute a gnome shell extension with a program that I made, > to allow to better integrate it with gnome shell. The problem is that, > after copying the files in the system > (usr/share/gnome-shell/extensions/myextens