Force Restart GNOME Shell

In an (un)like event of GNOME Shell stop responding, you can switch to console (press Ctrl+Alt+Fn), and type:

# killall -15 gnome-shell
$ gnome-shell -d :0 --replace

The -d :0 is an example for Arch, on Ubuntu this would be -d :6.