OK, encontrei uma resposta! Primeiro remova completamente o cinamon por
sudo apt-get install ppa-purge
sudo apt-get purge --auto-remove cinnamon
sudo apt-get autoremove
sudo apt-get update -f
sudo apt-get dist-upgrade
sudo apt-get install ubuntu-desktop
sudo apt-get remove .*cinnamon.*
sudo apt-get remove .*nemo.*
e, em seguida, instale-o novamente por
sudo add-apt-repository ppa:gwendal-lebihan-dev/cinnamon-stable
sudo apt-get update
sudo apt-get install cinnamon
Após instalar todos os pacotes necessários, faça o logout e altere a opção de login para o Cinnamon. Desfrute de Canela 2.0.6 estável, bem, não tente se você tiver atualizado para 13.10 em vez de atualizar, porque tem muitos problemas com 13.10. Parece que os problemas com Unity não foram corrigidos e alguns usuários podem ter problemas para fazer logon seu sistema.