Ressources utiles Ubuntu : changer le mappage clavier de la console Publié le 28 décembre 2017 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 (…) Ajout d’un utilisateur à sudo Publié le 21 décembre 2017 Pour permettre à un utilisateur d’utiliser la commade "sudo", il faut l’ajouter au groupe "sudo" via cette commande : usermod -aG sudo user (…) Extension .dev pour le développement Publié le 13 décembre 2017 Souvent, pour du développement, l’extension .dev est utilisée avec un pointage manuel (ou un DNS local) sur une IP spécifique. Sauf que depuis (…) Redirection https et Let’s Encrypt Publié le 27 octobre 2017 Pour le renouvellement de certificat [Let’s Encrypt->https://letsencrypt.org, l’accès au répertoire ".well-known/acme-challenge" de votre site (…) Installation de Google Earth sur Debian Stretch Publié le 27 octobre 2017 Google Earth n’est désormais disponible que via le navigateur Google Chrome. Chromium, sa version "libre", ne fonctionne pas avec le site. (…) < 1 2 3 4 5 6 7 8 >