Sur Xorg j'ai trouvé ça ALT + F2 et ensuite, 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é un message disant:
Restart is not available on Wayland
Étant donné que dans 17:10, Wayland deviendra la nouvelle fonctionnalité de GNOME, cette fonctionnalité sera-t-elle prise en charge dans le futur par Wayland, ou sinon, pourquoi?
Dans une session Xorg, vous pouvez redémarrer GNOME Shell sans perdre l’état de l’application, car les applications sont exécutées sur un serveur distinct (X). Mais contrairement à Xorg dans le cas d’une session Wayland, GNOME Shell n’est pas séparé du serveur Wayland.
Il n’ya donc aucun moyen de redémarrer GNOME Shell dans Wayland sans perdre l’état de l’application car le serveur d’affichage est également en panne. Cela ressemble au redémarrage du serveur X dans une session Xorg.
C’est la raison pour laquelle cette option de redémarrage du shell est désactivée dans Wayland (rappelons que la séquence de touches pour tuer le serveur X est également désactivée par défaut dans la session Xorg) et qu’il n’y aura probablement jamais de moyen non destructif de redémarrer GNOME Shell. à Wayland.
Vous pouvez voir ce rapport de bogue GNOME pour plus de détails.