Thank you - that's really great, except that I cannot find where I putthe listing of terminal commandsfor installing and setting up Cinnamon (its on my Linux Mint 12partition) - can you enlighten me?