Note
La ligne de commande qui peut vous sauver plusieurs heures de boulot :
while read -r pattern replacement; do sed -i -- "s/$pattern/$replacement/" *.tex ; done < patterns.txt
Ça remplace toutes les occurrences de plusieurs termes dans tous les fichiers d'un type donné. Ça prend en entrée un fichier patterns.txt constitué d'une liste comme suit :
foo bar truc muche
Où foo et truc seront remplacés respectivement par bar et muche.
Vous pouvez utiliser votre blog supportant les webmentions, votre compte Mastodon (Fediverse) ou Bluesky, voire Twitter pour répondre à cette note. Par engagement, seules les webmentions et les réponses du Fediverse sont affichées.
Webmention