Image Tools
From RobolaboWiki
Revision as of 13:02, 29 May 2013 by 138.100.21.166 (Talk)
Convert JPG to EPS
for f in *.jpg do g=`echo "$f" | sed 's/\.jpg$/\.eps/'` convert $f $g done
Convert PS to JPG
for f in *.ps do g=`echo "$f" | sed 's/\.ps$/\.jpg/'` gs -sDEVICE=jpeg -sOutputFile=$g < $f done