Systèmes d’exploitation libres disponibles dans de nombreuses variantes.
Si la console sur le système est configurée en anglais : Installer les 2 paquets suivants language-pack-fr et console-common : apt-get install language-pack-fr console-common (…)
Comme indiqué dans les notes de publication de Debian 9 (alias « Stretch »), le suivi de sécurité pour Node.js (et tous les paquets qui se basent dessus) n’est pas assuré. Il faut donc passer (…)
Google Earth n’est désormais disponible que via le navigateur Google Chrome. Chromium, sa version "libre", ne fonctionne pas avec le site. Google propose encore actuellement (fin 2017) la (…)
Pour permettre à un utilisateur d’utiliser la commade "sudo", il faut l’ajouter au groupe "sudo" via cette commande : usermod -aG sudo user "user" étant le compte utilisateur concerné.
Pour stocker les identifiants GIT dans le trousseau sous Linux (testé sur Debian avec Gnome), il faut utiliser libsecret : Installer libsecret : sudo apt install libsecret-1-0 libsecret-1-dev (…)
Debian fourni un dépôt "backports" pour chaque version du système d’exploitation : https://backports.debian.org/ Il contient des logiciels en version plus récente que celle de Debian "Stable", (…)
Mise à jour : Les versions récentes de Pulse Secure ne devrait plus poser le problème décrit ci-dessous. Pulse Secure, VPN propriétaire utilisé par certaines entreprises & universités, ne (…)