Outils
Chaque jour amène sont lot d'outils, aujourd'hui c'est au tour
du générateur de fil RSS. Il complète
l'outil qui gère les liens entre les entrées, l'outil en
charge de créer l'historique, celui en charge de publier sur
le site et de mettre a jour la configuration.
Tous ces scripts sont en shell, avec du sed.
Pour générer le fil, il extrait et normalise certaines
partie de chaque entrée, qui sont balisées
spécialement. Évidemment, cela necessite du sed un peu
plus compliqué qu'une simple substitution, mais je tiens à
mes outils de l'age de pierre!
Dès mon retour de Seattle, le retour d'HTTP.