Hello: I have created a gnome shell extension which provides a panel menu button that will reload an extension under a Wayland or Xorg session. It seems to do the job under Fedora 24 GS 3.20 and Fedora 25 Beta GS 3.22. The updated gnome-shell-extension-tool is not available in a distribution yet. I grabbed a copy of the gnome-shell-extension-tool from the gnome shell repository and included it as a local copy in the extension. When the tool is made available I will update the extension.
https://github.com/nls1729/acme-code Download the zip file of the repository. Uncompress the zip file acme-code-master.zip. cd acme-code-master/extension-reloader make zip-file Install the extension zip-file and enable the extension. The Reload menu will list all installed extensions. Selecting an extension from the menu will execute the local copy of gnome-shell-extension-tool to reload the selected extension. If you find this usable let me know and I will upload it to the extension website. Enjoy, Norman On Wed, 2016-11-02 at 09:26 +0100, Mario Wenzel wrote: > Hi, > > > apparently there will be/is functionality in the gnome-extension-tool to reload extensions. I have yet to try that. > > https://bugzilla.gnome.org/show_bug.cgi?id=772593 > > Am Freitag, den 28.10.2016, 23:51 +0300 schrieb Yotam Bar-On: > > > > Hi all,I develop some extensions, and started using the Wayland impl now with 3.22. > > > > > > > > I noticed I can't restart the shell anymore (saw the commit + bugzilla issue). While developing extensions I acquired the habit of alt+f2->r all the time, similar to alt-tab->f5 for web devel. ^_^ > > > > > > Now with the "no restart" thing, it there a simple way to reload extensions? > > > > I tried enable/disable the extension, but it does not seem to work (and never worked, not on x11 either, IIRC). > > > > > > Thanks! > > > > > > _______________________________________________ > > gnome-shell-list mailing list > > gnome-shell-list@gnome.org > > https://mail.gnome.org/mailman/listinfo/gnome-shell-list > _______________________________________________ > gnome-shell-list mailing list > gnome-shell-list@gnome.org > https://mail.gnome.org/mailman/listinfo/gnome-shell-list
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
