Cinnamon1. no more than a week ago, and later version 1.3.1 followed. For some reason, webupd8 did not update PPA in time. A new PPA has been created, and Ubuntu users can easily get updates without manually downloading the deb file for installation. Cinnamon-1.3Ubuntu12.04 or 11.10 users copy/paste the following command on the terminal to install and update: sudoadd-apt-repositoryppa: g
Cinnamon 1. A week ago, not long after 1.3.1 followed. For some reason, webupd8 did not update PPA in time. A new PPA has been created, and Ubuntu users can easily get updates without manually downloading the deb file for installation.
Cinnamon-1.3.
In Ubuntu 12.04 or 11.10, you can copy or paste the following command on the terminal to install and update the file:
Sudo add-apt-repository ppa: gwendal-lebihan-dev/cinnamon-stable
Sudo apt-get update
Sudo apt-get install cinnamon
You can delete the previous PPA (ppa: merlwiz79/cinnamon-ppa), which is not mandatory and will not affect the deletion.