Tagged: Install Cinnamon 1.8 on ubuntu 13.04 using ppa

Cinnamon is a user interface. It is a fork of GNOME Shell, initially developed by (and for) Linux Mint. It attempts to provide a more traditional user environment based on the desktop metaphor, like...