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 |
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).