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/myextensio...@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
