Después de que el mantenedor del repositorio de Cinnamon para Ubuntu haya decidido no continaur era cuestión de tiempo que alguien tomara la posta y los Ubunteros ya cuentan de nuevo con la posibilidad de instalar el escritorio por defecto de LinuxMint (dado que me parece un escritorio horrible y anacróncio lo de por defecto va por partida doble)
Para instalarlo hay que abrir la terminal y escribir:
sudo add-apt-repository ppa:lestcape/cinnamon
sudo apt-get update
sudo apt-get install cinnamon
Ahora solo queda reiniciar y cambiar de escritorio en la pantalla de inicio.
Fuente: planetadiego
