Here’s how you can add the Cinnamon desktop to your Linux Mint 13 MATE system. Once you’ve added Cinnamon, you can use it as your desktop via the sessions menu on the login screen in Linux Mint 13. 1.