Você pode usar UM dos PPAs abaixo. Por favor, não use os dois PPAs simultaneamente.
sudo add-apt-repository ppa:lestcape/cinnamon
sudo apt-get update
sudo apt-get install cinnamon
ou
sudo add-apt-repository ppa:tsvetko.tsvetkov/cinnamon
sudo apt-get update
sudo apt-get install cinnamon
Você pode remover o Cinnamon com ppa-purge
:
sudo apt-get install ppa-purge
E dependendo de qual PPA você usou:
sudo ppa-purge ppa:tsvetko.tsvetkov/cinnamon
ou
sudo ppa-purge ppa:lestcape/cinnamon