Sometimes, my GNOME Shell freezes. I can see (hear) background processes working (playing music), but I can't do anything in GNOME. No Alt+F2 followed by R and Enter.
I can switch to console using: Ctrl+Alt+F1, login as the same user and execute:
gnome-shell --replace
and return back Ctrl+F7, but then, I get a strange behavior. For example I cannot edit network connections. I cannot logout as well. What is the proper way to restart the gnome-shell
?
gnome-shell overview
, or on what particular occasion, if you can tell?