Sur Xorg, j'ai trouvé que faire ALT+ F2, puis faire r
fonctionnerait pour redémarrer gnome-shell
après une mise à jour, mais avec Wayland sur Ubuntu GNOME 17.04 et GNOME 3.24, j'ai trouvé que je recevais un message disant:
Restart is not available on Wayland
Étant donné qu'en 17.10 Wayland deviendra la nouveauté avec GNOME, cette fonctionnalité sera-t-elle prise en charge à l'avenir via Wayland, ou sinon, pourquoi?