13 Mar 2013
na versão mais recente:
killall -SIGQUIT gnome-shell
https://askubuntu.com/questions/100226/how-to-restart-gnome-shell-from-…
XDG_SESSION_TYPE=x11 DISPLAY= gnome-shell --display :0 --replace&
http://community.linuxmint.com/tutorial/view/641