La distribution Linux Mint vient de passer en version 15. Ce système d’exploitation, dont l’utilisation est en hausse, profite notamment des changements intervenus dans l’interface d’Ubuntu et qui ont de nombreux détracteurs. Mint 15 capitalise sur son succès et reste ainsi centrée sur l’environnement Cinnamon, largement hérité de GNOME 2.X.