DVI-Datei auf der Kommandozeile in SVG konvertieren

Wenn Sie my.dvi in my.svg konvertieren möchten, verwenden Sie diesen Befehl:

dvi2ps my.dvi | ps2eps - > my.eps && eps2svg my.eps

Dies erzeugt my.svg – beachten Sie, dass wenn my.svg bereits existiert, eps2svg my_1.svg, my_2.svg usw. erstellt und my.svg nicht überschreibt!

Sie können auch diese Shell-Funktion verwenden:

function dviToSVG { dvi2ps "$1" | ps2eps - > "${1%.*}.eps" && eps2svg "${1%.*}.eps" "${1%.*}.svg" ; }

Verwendungsbeispiel:

dviToSVG my.dvi # Erzeugt my.svg