Для начала подключим это репозиторий - https://launchpad.net/~gwendal-lebihan-dev/+archive/cinnamon-stable
Затем нам понадобиться выполнить:
Код PHP:
И вписать в конце файла
gksu gedit /etc/apt/preferences
Код PHP:
Теперь сохраняемся и выполняем:
Package: * Pin: origin ppa.launchpad.net Pin-Priority: 700
Код PHP:
Если после этого не придут обновления Cinnamona, то включите в источниках приложений "Baskported packages"
sudo apt-get update и sudo apt-get dist-upgrade