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+R.
I can switch to console using: Ctrl+Alt+F1, login as the same user and execute:
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?