Ik ga nog steeds niet over op Cinnamon en zeker niet op Mint, maar mijn vader was GNOME Shell een beetje zat op Antergos (gebaseerd op Arch Linux) dus heb voor hem Cinnamon erbij geinstalleerd (nieuwste versie van Cinnamon die je dus ook in Mint 17 vindt) en hij heeft GNOME Shell niet meer aangeraakt sindsdien en is ook zeer positief over Cinnamon
