linux debian

Votre serveur Linux sans y penser

Un bug grave dans la mise à jour vers Debian 12.3

Ce samedi 9 décembre à 15h09 a été publié une alerte concernant la mise à jour mineure de Debian 12 vers la 12.3. Un bug est apparu dans le kernel linux produit par le package linux-image-cloud-amd64 version 6.1.64-1. Surtout ne mettez pas à jour ou ne redémarrez pas votre serveur

Lire la suite »

Comment installer pfsense sur une instance OVH Public Cloud ?

pfSense est une distribution libre et open-source de pare-feu (firewall) et routeur basée sur FreeBSD. Développée depuis plus de 20 ans, elle transforme un serveur, un ordinateur ou une machine virtuelle en un équipement réseau professionnel complet. Elle est gérée entièrement via une interface web intuitive, sans nécessiter de connaissances

Lire la suite »

Comment installer PHP 8.1 sur Debian 11 ?

Ce petit tutoriel est un peu plus subtil que ceux trouvés ici ou là sur Internet, qui, souvent, ne permettent pas de comprendre comment bien installer PHP 8 ou supérieur. 1/ Pourquoi ne pas installer PHP 8.2 ou supérieur ? Ce tutoriel a été rédigé en janvier 2023 et à

Lire la suite »

Travailler avec Debian Linux

Debian Linux est certainement la distribution la plus stable et sécurisée.

La distribution Ubuntu est une version dérivée de Debian populaire mais j’utilise sur mon poste de travail une version dérivée d’Ubuntu (oui ça dérive beaucoup) : Linux Mint.

Debian GNU/Linux

Linux Mint (distribution GNU/Linux adaptée à un travail professionnel)

Puppet Linux

Puppet Linux est un gestionnaire de configuration de serveur, très avancé.

J’utilise ce language de configuration depuis 2009.

Faisons le point sur vos besoins