日記

日本語の勉強のためのブログ

draw.ioで作成した図をeps形式に変換する

draw.io(https://app.diagrams.net)はpng, jpeg, svg, pdf, vsdx, html, xml, url形式のエクスポートに対応しているが,eps形式には対応していない.
そのため,まずsvg形式でエクスポートしてから,それをepsに変換する.

draw.io → svg

「ファイル」→「形式を指定してエクスポート」→「SVG」をクリック.
「Text Settings」で「Convert labels to SVG」を指定してからエクスポート.

svg → eps

svgをepsに変換する方法はいくつかある.