Astuces, Linux Gogs est le moyen le plus simple d’exécuter un serveur Git local (voici comment le configurer) 24/01/2023
Astuces, High Tech, Linux La PineTab2 est une nouvelle tablette Linux, qui arrivera en 2023 30/12/2022
Astuces, Linux Linux Mint 21.1 « Vera » maintenant en version bêta : Voici ce qu’il y a de nouveau 20/12/2022