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:36] 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 ===== | + | |
| + | |||
| + | |||
| + | ===== Renommer les fichiers produits par MetaPost ===== | ||
| + | |||
| + | Et cela de façon à ce que l'ordre lexicographique corresponde à l'ordre numérique. | ||
| <code bash> | <code bash> | ||
| - | #!/bin/bash | ||
| # JMS - 19 mai 2007. | # JMS - 19 mai 2007. | ||
| # Constitution de la liste des images | # Constitution de la liste des images | ||
| Ligne 14: | Ligne 18: | ||
| # Formatage sur trois chiffres avec compléments à 0. | # Formatage sur trois chiffres avec compléments à 0. | ||
| ID=$(printf "%03d" $SUFFIXE) | ID=$(printf "%03d" $SUFFIXE) | ||
| - | # Cahngement du nom du fichier. | + | # Changement du nom du fichier. |
| mv $FICHIER $PREFIXE.$ID | 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.1179563814.txt.gz · Dernière modification: 2007/05/19 10:36 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
