By the way, is this feasible and sane:

1) install the Linux Mint repository
2) install cinnamon-desktop-environment
3) remove the Linux Mint repository

?

Reply via email to