Convertir PNG a EPS

Para convertir formatos de imágenes existe el comando convert

Para un archivo, sería directamente:

convert archivo.png archivo.eps

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

Deja una respuesta

Tu dirección de correo electrónico no será publicada.

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.