Uma dica rápida para a instalação do Cinnamon no Ubuntu 12.04.

Para adicionar o repositório, no terminal digite:

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

Como mostra a imagem abaixo: Atualize:

sudo apt-get update

E instale:

sudo apt-get install cinnamon

Pronto, agora encerre a sessão e selecione o ambiente Cinnamon: Você já está com o Cinnamon! Espero que ajude.

Guia de referência: Install Cinnamon 1.6 in Ubuntu 12.04 LTS « www.linuxbsdos.com