Re: Alternative to restarting shell on wayland



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


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