jeudi 29 août 2024
« On découvre, grâce à cet article, une page oubliée de l'histoire des systèmes d'exploitation. »
jeudi 16 mai 2024
« Dans sa dernière version (pas encore finalisée), systemd propose une alternative à la commande
sudo :
run0. Cette dernière permettrait de ne plus avoir de binaires SUID, mais plus que des binaires UID, dont l'accès via
run0 serait demandé à un gestionnaire de services. »
jeudi 21 décembre 2023
« Un tutoriel pour apprendre l'usage de l'outil sed avec des exemples et leurs explications. »
jeudi 26 janvier 2023
« Comment la philosopie Unix est née, grâce au pipe ("|") et à l'imbrication des outils les uns avec les autres. »
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. »
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. »
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. »