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? – v2r Apr 26 '14 at 01:09alias gnomeshellrestart='echo "gnome-shell --replace -d" $(w| grep "$USER"| awk "{print \$3}"|grep ":"|head -1)| at now'
– MoreIT Oct 04 '17 at 14:29