ps to eps to svg

gs を使って　windowsで

gswin32c -q -sDEVICE=epswrite -sOutputFile=foo.eps -r9600 -dNOPAUSE -dBATCH -dSAFER -dEPSCrop foo.ps

意味はよく割らんが，epsファイルができるのでよしとする．

pstoeditを使って

pstoedit -f plot-svg foo.eps foo.svg

これも，とりあえず，svgができるのでよしとする．

find -maxdepth 1 -name "*.eps" -print | while read eps
do
echo convert $eps to ${eps%eps}svg
pstoedit -f plot-svg $eps ${eps%eps}svg
done

とかすると便利(zsh).