Un outil couplé à pandoc
pour produire un diff
de tout texte dans un format supporté par pandoc
, et avec des fonctionnalités intéressantes, des formats de sorties étonnantes, bref, à creuser.
Une description intéressante de quelques commandes git
. J'aime bien le git commit --amend --no-edit
, par exemple.
via https://www.quaternum.net/2020/04/06/un-peu-plus-de-git/
Une courte réflexion sur l'attention via une page web qui ne peut être lue que déconnectée.
Un entretien avec Eric Gartner de chez « The Getty » par Antoine au sujet de l'utilisation d'un générateur de site statique pour la publication numérique de contenus scientifiques, qui doivent pouvoir être durables, ce qui n'est pas forcément gagné dans le monde numérique. D'où le choix d'outils relativement simples, non propriétaires, et surtout qui permettent au moins un accès au texte brut.
La mise en œuvre de ce genre de processus risque d'apporter quelques améliorations bienvenues, ou à tout le moins une formalisation des processus dont on ne peut que bénéficier.
Le shaarli de @antoinentl