Su Xorg ho scoperto che fare ALT+ F2e poi fare r
avrebbe funzionato per riavviare gnome-shell
dopo un aggiornamento, tuttavia con Wayland su Ubuntu GNOME 17.04 e GNOME 3.24 ho scoperto che ricevo un messaggio che dice:
Restart is not available on Wayland
Dato che in 17.10 Wayland diventerà la novità con GNOME, questa funzionalità sarà supportata in futuro tramite Wayland o, in caso contrario, perché?