Gnome Shellがなんかおかしくなったときの対処法

たまーに死にますよね。。。
具体的な症状としてはdock、メニューバー、デスクトップアイコンがクリックできなくなるぐらい？

対処方法

Alt + F2プロンプトで「r」または「restart」と入力するとGNOMEShellが再起動します。

らしいですよ。

上記でも無理だった場合は
https://wiki.archlinux.jp/index.php/GNOME/%E3%83%88%E3%83%A9%E3%83%96%E3%83%AB%E3%82%B7%E3%83%A5%E3%83%BC%E3%83%86%E3%82%A3%E3%83%B3%E3%82%B0#.E3.82.B7.E3.82.A7.E3.83.AB.E3.81.8C.E3.83.95.E3.83.AA.E3.83.BC.E3.82.BA.E3.81.99.E3.82.8B

他の TTY に切り替えて (Ctrl + Alt + F2) から次のコマンドを入力して下さい: pkill -HUP gnome-shell

この際、現状UbuntuだとF2だとデスクトップ画面か表示されてしまうと思うので、F3(tty3)から使うのがいいんでないかなーとか思ってます。