Ubuntu 用户安装漂亮易操作 Cinnamon 桌面 PPA

Cinnamon 1.3一个星期之前已经发布了，之后不久1.3.1版本跟随而来，由于某种原因，webupd8之前没有及时更新PPA。现已创建了一个新的PPA，Ubuntu用户可以很容易地得到更新，而无需手动下载deb文件来安装。

sudo add-apt-repository ppa:gwendal-lebihan-dev/cinnamon-stable
sudo apt-get update
sudo apt-get install cinnamon

可以删除以前的PPA（ppa:merlwiz79/cinnamon-ppa），不是强制性的，删除不会造成任何影响。