Comme environ une fois tous les 2 ans, ma distribution préférée sort une grosse mise à jour pour sa version « stable ». Le 6 juillet 2019 est sortie Debian 10 (alias « buster ») qui succède à Debian 9 (alias « stretch »)
Comme d’habitude, il s’agit d’une cure de jouvence pour les programmes.
Pour les applis de bureau on retrouve Gnome 3.30.2, Firefox 60.8esr, Blender 2.79b, Libreoffice 6.1.5.2, Gimp 2.10.8, Mesa 18.3.6
Au niveau système, on a Python 3.7.3 (python 2.7.16 est là aussi), Nginx 1.14, Prosody 0.11, PHP 7.3, GCC 8.3.
On reste dans la philosophie de délivrer des programmes testés avec le moins de bugs possibles. Donc ce ne sont pas les toutes dernières versions qui sont livrées et on est sûr que ça marchera jusqu’à la prochaine grosse mise à jour dans 2 ans. C’est pour ça qu’on aime la version « stable » :-)
La mise à jour s’est faite sans accroc. J’utilise cette version sur mon bureau, des portables et des serveurs.
Il y a juste ce bug #928146 de blocage de GPU quand je joue aux jeux vidéos qui m’embête avec les noyaux récents.