話說 Ubuntu 12.10 配 gnome shell 有時會 freeze... 配 unity 倒沒這個問題