Re: Add extensions without needing to close the session


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

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 :)

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]