====== Morceaux de code BASH ======
===== Renommer les fichiers produits par MetaPost =====
Et cela de façon à ce que l'ordre lexicographique corresponde à l'ordre numérique.
# JMS - 19 mai 2007.
# Constitution de la liste des images
LISTE=$(ls $PREFIXE.*[0-9])
for FICHIER in $LISTE
do
# Récupération du suffixe.
SUFFIXE=${FICHIER##*.}
# Formatage sur trois chiffres avec compléments à 0.
ID=$(printf "%03d" $SUFFIXE)
# Changement du nom du fichier.
mv $FICHIER $PREFIXE.$ID
done
La variable ''PREFIXE'' doit être connue du script, si ce n'est pas le cas, on peut la récupérer avec
PREFIXE=${FMP%.*}
où ''FMP'' est une variable contenant le nom du fichier metapost initial.