cinnamon 1.3.1

Cinnamon(linux mint 12)のバージョンが1.3.1になり、少しずつ手が加えられている。
が、Docky入れたり、Themesを変えてあるので、このアップデートの恩恵はあまりなさそう。

最近、端末にGuakeを使っている。