mardi 31 août 2021
« Un tutoriel rapide pour les commandes utiles du terminal Unix/Linux.  »
lundi 14 décembre 2020
« Un guide pour l'écriture d'outils en ligne de commande.  »
bash redirects [Romain]
jeudi 29 octobre 2020
« Julia Evans continue sa très bonne série d'explications dessinées. Cet épisode présente les redirections en bash.  »
vendredi 20 décembre 2019
« Une information qui m'avait échappé jusqu'ici : le port 0 est utilisé pour choisir automatiquement un port libre en TCP/IP.  »
direnv [Romain]
mercredi 30 janvier 2019
« Un utilitaire permettant de manipuler l'environnement à l'entrée ou à la sortie d'un répertoire (utile par exemple pour activer un environnement conda en entrant dans un projet)  »
jeudi 4 octobre 2018
« L'auteur de ce blog explique comment il a analysé des données obtenues via la loi FOIA pour trouver une rue où les verbalisations étaient anormalement élevées, et permettre l'installation d'une signalisation plus claire.  »