Outils d'utilisateurs
jms:cbash
====== 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:32] 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. | ||
jms/cbash.1179563530.txt.gz · Dernière modification: 2007/05/19 10:32 par jms
Outils de la Page
Sauf mention contraire, le contenu de ce wiki est placé sous la licence suivante : GNU Free Documentation License 1.3
