Существует сторонний репозиторий имени Google, который устанавливается он в два захода:

wget -q -O - https://dl-ssl.google.com/linux/linux_signing_key.pub | sudo apt-key add -
sudo sh -c 'echo "deb http://dl.google.com/linux/chrome/deb/ stable main" >> /etc/apt/sources.list.d/google.list'

После чего обновляем список доступных пакетов

sudo apt-get update

И устанавливаем

sudo apt-get install <имя пакета>

Наверное, не стоит сильно расписывать о том, что такое и какое этот Cinnamon. Если кратко - оболочка для Linux на базе Gnome3 от разработчика дистрибутива Linux Mint.

С момента выхода стабильной версии Cinnamon уже появилось более десяти различных тем оформлений. Для того, чтобы их установить и поддерживать в актуальном состоянии, потребуется воспользоваться git. Выполняем следующие нехитрые команды:

sudo apt-get install git-core
cd
git clone https://github.com/linuxmint/cinnamon-themes.git
cd cinnamon-themes
./test