Desculpe, parece que falei cedo demais. Estou tendo problemas em instalar o novo Cinnamon desta maneira. Meus drivers Nvidia não são suportados e, por isso, ficam presos ao Cinamon no modo de renderização de software. Então, vou sugerir que as pessoas não façam isso!
Foi a sugestão de Jacob que fez este trabalho. Um passo a passo completo.
sudo add-apt-repository ppa:gwendal-lebihan-dev/cinnamon-stable
sudo apt-get upgrade
Eu então abri o arquivo de preferências no etc / apt / como o Jacob disse.
sudo gedit /etc/apt/preferences
e colado na informação que ele aconselhou
Package: *
Pin: release o=LP-PPA-gwendal-lebihan-dev-cinnamon-stable
Pin-Priority: 800
e salvou o arquivo.
Por fim, executei a última linha de código:
sudo apt-get dist-upgrade
E o Cinnamon foi atualizado - yay! A sugestão de Jacob funciona. Obrigado a vocês dois - gryftir e Jacob. =)