Un débat a récemment animé la communauté du logiciel libre : faut-il numéroter « 4.0 » ou « 3.20 » la prochaine version de Linux ? La plupart des navigateurs ne s'embarrassent plus de cette question depuis plusieurs années, mais historiquement la numérotation de Linux avance à petits pas et elle n'est pas toujours facile à suivre avec ses branches à trois ou quatre chiffres.
La majorité des utilisateurs qui ont répondu au sondage de Linus Torvalds ont voté pour « 4.0 », et c'est ainsi que Linux 4.0 est sorti cette semaine.
Bien que le numéro de version fasse un bond en avant, cette mouture n'apporte pas grand-chose en matière de fonctionnalités, explique Linus Torvalds. « Nous avons eu des changements plus importants dans d'autres versions. »
Il y a tout de même une nouveauté particulièrement intéressante, le kernel patch, qui permet d'appliquer des mises à jour système sans forcément redémarrer la machine. À l'origine de cette nouveauté, un programme appelé Ksplice qui est passé dans les mains de plusieurs éditeurs au fil des ans (Oracle, Red Hat...) et qui a fini par être intégré au système.
