Luego de mas de 2 años del artículo original, dejo mis reflexiones para que tengan en cuenta al hacer un cambio de extensión de forma masiva:
Ejemplo de convertir *.png a eps usando ImageMagik's convert utility
#!/bin/bash -x
ARCHIVOS=`find . -name "*.png"`
for ARCHIVO in $ARCHIVOS
do
FNAME="${ARCHIVO##*/}"
EXT="${ARCHIVO##*.}"
NEWNAME="${FNAME%%.$EXT}".eps
convert $FNAME $NEWNAME
done
La primer línea saca todos los archivos con extensión .png (juusssto no tenia ninguno con espacios. ;-) ) luego itera haciendo las siguientes asignaciones:
Ejemplo ARCHIVO="./initial.png"
FNAME=initial.png
EXT=png
NEWNAME=initial.eps
de esta manera puede ejecutar el código:
convert initial.png initial.eps
Dejo esto en el blog porque me resulta útil. Si alguna tiene interés de mejorarlo, bienvenida!