GNOME Shell 3.30.1 sur Ubuntu 18.10
La commande à remplacer gnome-shell
serait d'envoyer un SIGQUIT le signal pour le faire :
killall -3 gnome-shell
ou :
killall -SIGQUIT gnome-shell
Depuis GNOME Shell 3.30.1 sur Ubuntu 18.10, la solution ci-dessous ne fonctionne plus, et renverra l'utilisateur à l'écran de connexion, perdant ainsi tout son travail.
Avant GNOME Shell 3.30.1
La commande à remplacer gnome-shell
serait :
gnome-shell --replace &
L'esperluette est ajoutée pour renvoyer l'invite Shell après avoir exécuté la commande ; en appuyant sur Ctrl + C ou fermer le terminal à la place rendrait le bureau inutilisable, et nécessiterait un redémarrage complet.
De la page de manuel の gnome-shell
:
-r, --replace
Replace the running window manager
Vous ne savez pas quelle version vous utilisez ?
La commande pour vérifier votre version de GNOME Shell est :
gnome-shell --version