Ubuntu11.10のデスクトップをUnityからLinux Mintと同じcinnamonに変更

このページを参考にcinnamonを導入した。cinnamonは、最近Ubuntuに代わって人気のあるLinux Mintのデスクトップ環境らしい。

sudo add-apt-repository ppa:merlwiz79/cinnamon-ppa
sudo apt-get update
sudo apt-get install cinnamon cinnamon-session cinnamon-settings

で終わり。いったんログアウトしてからログインしなおせば、cinnamonを選択できる。 UbuntuのUnityというのは使いにくかったが、cinnamonは違和感なく使える。