Re: Add extensions without needing to close the session

[rastersoft <raster rastersoft com>]

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 Hasse escribió:
> 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/myExtensionID rastersoft com), gnome
> > shell still doesn't "see" it. I have to logout and login again.
> >
> > How can I avoid this step? (to be clear: I don't want to enable
> > automatically my extension; only want that, if the user installs the
> > package with my program, the extension being shown in
> > gnome-shell-extension-prefs without forcing the user to logout and login
> > again).
> Press Alt+F2 and type "r" to restart the Shell. After that, restart the gnome-shell-extension-prefs / 
> gnome-tweak-tool and your extension should show up :)
> _______________________________________________
> gnome-shell-list mailing list
> gnome-shell-list gnome org
> https://mail.gnome.org/mailman/listinfo/gnome-shell-list

-- 
Nos leemos
                         RASTER    (Linux user #228804)
raster rastersoft com              http://www.rastersoft.com