如何在命令行上将 DVI 文件转换为 SVG

如果你想将 my.dvi 转换为 my.svg，使用此命令

dvi2svg.sh

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

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

这会生成 my.svg - 注意如果 my.svg 已存在，eps2svg 将创建 my_1.svg、my_2.svg 等等，并且不会覆盖 my.svg！

你也可以使用此 shell 函数：

dviToSVG_function.sh

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

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

用法示例：

dviToSVG_usage.sh

dviToSVG my.dvi # 生成 my.svg

dviToSVG my.dvi # 生成 my.svg

Check out similar posts by category: LaTeX, Linux, Shell

If this post helped you, please consider buying me a coffee or donating via PayPal to support research & publishing of new posts on TechOverflow