Unter Xorg stellte ich fest, dass "Doing ALT+" F2und "Doing r
" funktionieren, um gnome-shell
nach einem Update neu zu starten. Unter Wayland unter Ubuntu GNOME 17.04 und GNOME 3.24 erhalte ich jedoch die folgende Meldung:
Restart is not available on Wayland
In Anbetracht der Tatsache, dass Wayland in 17.10 das neue Feature von GNOME sein wird, wird diese Funktion in Zukunft von Wayland unterstützt, oder wenn nicht, warum?