- img2eps to covert gif, jpeg, png, tiff, and xpm to eps.
- giftopng to convert gifs to png. find . -iname "*.gif" -exec giftopng {} \;
- And a short script to convert jpg to png:
- #!/bin/bash
- filename=${1%.jpg}
- jpegtopnm "$1" | pnmtopng > "$filename.png"
I'm sure there are better ways but these worked for me.
No comments:
Post a Comment