Unter Xorg stellte ich fest, dass "Doing ALT+" F2und "Doing r" funktionieren, um gnome-shellnach 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...