====== Différences ====== Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.
jms:cbash [2007/05/19 10:33] jms |
jms:cbash [2008/10/09 17:41] (Version actuelle) jms |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
====== Morceaux de code BASH ====== | ====== Morceaux de code BASH ====== | ||
- | ===== Renommage des fichiers produits par MetaPost ===== | ||
- | <code bash> | ||
- | #!/bin/bash | ||
- | # JMS - 19 mai 2007. | ||
- | # La variable PREFIXE représente ce qui précède le dernier point | ||
- | # dans le nom du fichier, avant l"extension. Si elle n"est pas | ||
- | # connue du script, on peut l'obtenir avec: | ||
- | # PREFIXE=${NOM_DU_FICHIER%.*} | ||
- | LISTE=$(ls $PREFIXE.*[0-9]) # constitution de la liste des | ||
- | # images. | ||
+ | ===== Renommer les fichiers produits par MetaPost ===== | ||
+ | |||
+ | Et cela de façon à ce que l'ordre lexicographique corresponde à l'ordre numérique. | ||
+ | |||
+ | <code bash> | ||
+ | # JMS - 19 mai 2007. | ||
+ | # Constitution de la liste des images | ||
+ | LISTE=$(ls $PREFIXE.*[0-9]) | ||
for FICHIER in $LISTE | for FICHIER in $LISTE | ||
do | do | ||
- | ID=${FICHIER##*.} # récupération de l'indice. | + | # Récupération du suffixe. |
- | ID=$(printf "%03d" $ID) # passage sur trois entiers, | + | SUFFIXE=${FICHIER##*.} |
- | # complétion avec des 0. | + | # Formatage sur trois chiffres avec compléments à 0. |
- | mv $FICHIER $PREFIXE.$ID # modification du nom. | + | ID=$(printf "%03d" $SUFFIXE) |
+ | # Changement du nom du fichier. | ||
+ | mv $FICHIER $PREFIXE.$ID | ||
done | done | ||
</code> | </code> | ||
+ | |||
+ | La variable ''PREFIXE'' doit être connue du script, si ce n'est pas le cas, on peut la récupérer avec | ||
+ | |||
+ | <code bash> | ||
+ | PREFIXE=${FMP%.*} | ||
+ | </code> | ||
+ | |||
+ | où ''FMP'' est une variable contenant le nom du fichier metapost initial. | ||