Parfois, ma coquille de gnome se fige. Je peux voir (entendre) les processus d'arrière-plan fonctionner (jouer de la musique), mais je ne peux rien faire dans Gnome. Non Alt+ F2+ R.
Je peux passer à la console en utilisant: Ctrl+ Alt+ F1, vous connecter en tant que même utilisateur et exécuter:
gnome-shell --replace
et revenir en arrière Ctrl+ F7, mais alors, je reçois un comportement étrange. Par exemple, je ne peux pas modifier les connexions réseau. Je ne peux pas me déconnecter aussi. Quelle est la bonne façon de redémarrer le gnome-shell?
gnome-shell overview
, ou à quelle occasion particulière, si vous pouvez le dire?