| .. | |||
| README.md | 8 years ago | ||
| ligature.pl | 6 years ago | ||
Outil qui permet de rechercher et remplacer dans un fichier ou un répertoire de fichiers une ligature, c’est-à-dire la fusion de deux ou trois caractères en un caractère unique, par la séquence de caractères correspondants.
Ligature Équivalent Code hexadécimal
ff ff FB00
fi fi FB01
fl fl FB02
ffi ffi FB03
ffl ffl FB04
ligature.pl -r répertoire [ -e extension ]* [ -q ]
ligature.pl -f fichier [ -q ]
ligature.pl -h
-e indique la ou les extensions des fichiers à traiter dans le répertoire indiqué par l’option “-r”.
Dans le cas où on a plusieurs extensions, on peut répéter l’option ou donner la liste des extensions
séparées par des virgules.
-f indique le fichier à traiter.
-h affiche l’aide.
-q supprime les messages donnant le nombre de modifications réalisées pour chaque fichier.
-r indique le répertoire où se trouvent les fichiers à traiter.
ligature.pl -r Corpus/Polaris -e txt -e ocr -q
ligature.pl -r Corpus/Polaris -e txt,ocr -q
ligature.pl -f Corpus/Polaris/ancien_0425.txt