今まで、GNOME-ShellとかUnityと言った新しいUIを毛嫌いした。今度DebianがWheezyになって、勝手にGNOME3(GNOME-Shell)になった。ところが使ってみると結構使える。リーナス・トーバルスもGNOME3に戻ったようだ。それは、gnome-tweak-toolとDock拡張のためだ…