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 un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

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