今年の夏休みを使って、やっと Ubuntu12.04 にバージョンアップをしました。 仮想環境で色々なウィンドウマネージャーを試して GNOME3(GNOME Shell) に決定しました。拡張機能でカスタマイズすると使い勝手が良くなったので。で、メインPCの実機にインストー…