Re: Alternative to restarting shell on wayland
- From: Mario Wenzel <maweki gmail com>
- To: Norman L Smith <nls1729 gmail com>, gnome-shell-list gnome org
- Subject: Re: Alternative to restarting shell on wayland
- Date: Sun, 01 Jan 2017 12:30:19 +0100
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
Github see Latest Update for details
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]