next up previous contents Next:  Ecrasement en toute sécurité Up: Scripts utiles et commandes. Previous:  Calculs avec bc.   Table des matières  

21.7.9  Conversion des formats de graphiques sur de nombreux
            fichiers.

Le programme convert du paquet logiciel ImageMagik est une commande dont de nombreux utilisateurs de Windows aimeraient disposer. Il permet de convertir de nombreux fichiers d'un format donné vers un autre format. Le changement de l'extension de fichier sera réalisée avec echo nom_de_fichier | sed -e 's/\.old$/.new/'`. La commande convert fait le reste:

for i in *.pcx; do 
    CMD="convert -quality 625 $i `echo $i | sed -e 's/\.pcx*/.png/'`" 
# afficher la ligne de commande à l'utilisateur: 
    ECHO $CMD 
# exécute la ligne de commande: 
    eval $CMD 
done 


Notez que le mécanisme de développement ``recherche et remplacement'' pourrait convenir pour remplacer les extensions de fichiers. L'expression ${i/%.pcx/.png} produit le résultat désiré.

Incidemment, le code précédent compresse très bien les fichiers de haute résolution pcx -éventuellement, le résultat d'une opération de numérisation ou la compilation LATEX en PostScript réalisée avec Ghostscript (c'est-à-dire: gs -sDEVICE=pcx256 -sOutpoutFile='page%d.pcx' fichier.ps).


next up previous contents Next:  Ecrasement en toute sécurité Up: Scripts utiles et commandes. Previous:  Calculs avec bc.   Table des matières  
1-01-2006