Hello Norman, it seems like Yotam's account has been compromised and the link is pointing to some Windows-Virus. I'll try to rid the mailing list history of that.
I am glad you found a solution and thank you very much for the contributions. All the best Mario Am Sonntag, den 01.01.2017, 06:11 -0500 schrieb Norman L Smith: > On Sun, 2017-01-01 at 18:24 +0800, Mario Wenzel wrote: > > "Re: Alternative to restarting shell on wayland" > > > > > > > > Norman L Smith doc > Hello Mario, > > The link above is not usable for me. It gives a message that it is > only available for windows. > > Since I posted to the list in November I found the change > to the gnome-shell-extension-tool to reload extensions > only reloads an enabled extension. When writing and testing > extensions most "Alt F2 r" shell restarts are performed when the > extension is in the error state. > > > The extension-reloader extension has been re-written since my Nov. post > > to not use the tool. It will attempt to reload an extension in the error state > > and will reload it successfully if all errors in the extension's code have > been corrected. > > I have also submitted a patch to the gnome-tweak-tool to provide > > a button to attempt to reload an extension in the error state and it will > do so if the extension's code has been corrected to be error free. > > The reload extension and the changes to the Tweak tool have been > tested extensively under GS3.22 and GS3.24 under Wayland and > Xorg. > > Regards, > Norman > > > Extension Website extension-reloader@nls1729 > http://preview.tinyurl.com/hnxp94p > > Github see Latest Update for details > http://preview.tinyurl.com/h274jsq > > https://bugzilla.gnome.org/show_bug.cgi?id=774072 > >
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
