Para convertir formatos de imágenes existe el comando convert
Para un archivo, sería directamente:
Este script convierte todos los archivos PNG a EPS de un directorio si no están convertidos ya:
#!/bin/bash
for FICHERO in `ls *.[pP][nN][gG]`
do
EPS=`ls $FICHERO | cut -d . -f 1`
test -e $EPS.eps
if ! [ $? -eq 0 ]
then
convert $FICHERO $EPS.eps
fi
done