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/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 > -- Nos leemos RASTER (Linux user #228804) ras...@rastersoft.com http://www.rastersoft.com _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
