Tips

よく使うわけではないので忘れてしまうが、ちょっと便利なコマンド(群)をメモしていきます。 (Ubuntu24.04で動作確認しています。)

.epsファイルを.pdfファイルにまとめて変換

arXivからダウンロードしたソースが全部eps形式で汎用性に欠けるので、pdf形式に変換したいなと思って作業したときのコマンド群です。 (epstopdfコマンドを利用するために、texlive-font-utilsを事前にインストールしています。)

.epsファイルがあるディレクトリにpdfというディレクトリを作成して、そこに変換後のファイルを格納していきます。

mkdir pdf
ls -1 *.eps > tmp1
cp -i tmp1 tmp2
sed -e 's/^/epstopdf /g' tmp1 > tmp3
sed -e 's/^/--outfile=pdf\//g' tmp2 > tmp4
sed -e 's/.eps/.pdf/g' tmp4 > tmp5

paste -d" " tmp3 tmp5 > tmp.sh
bash tmp.sh

rm tmp1 tmp2 tmp3 tmp4 tmp5 tmp.sh