В то же время можно установить:
$ sudo apt-get install webp
И использовать команды dwebp и cwebp для распаковки / сжатия из / в формат веб-файла.
Если вы используете какое-либо приложение Mint (например, вашу коридор currnet), удалите это приложение и PPA из вашей системы.
теперь установите этот для Ubuntu 12.04:
sudo add-apt-repository ppa:tsvetko.tsvetkov/cinnamon
sudo apt-get update
sudo apt-get install cinnamon
[d2 ] моя рекомендация - установить темы мяты, чтобы иметь лучший опыт: sudo apt-get install mint-themes