I installed Mint 17.2 KDE, after a time upgraded to 17.3, and after another time, I installed Cinnamon DE and completely purged all packages related to KDE.Now I want to upgrade to Mint 18 Cinnamon.How do I change formally the edition?mintupgrade checksays  + Checking your Linux Mint codename...  + Checking your Linux Mint edition...------------------------------------------------!!  ERROR: Your edition of Linux Mint is 'KDE'. It cannot be upgraded to Linux Mint 18 'Sarah'.!!  Exiting.
How to change Mint KDE to Cinnamon edition
linux mint;upgrade;desktop environment
This information is stored in:/etc/linuxmint/infoJust change this line:EDITION=KDE 64-bitTo:EDITION=Cinnamon 64-bit