pdfをepsにする

ひとまずこんな感じでやってみた。

#!/bin/bash

# echo "$1"
# 拡張子を除く
BASE_FILE_NAME=`basename "$1" .pdf`
# echo $BASE_FILE_NAME

pdf2ps "$1"
ps2eps ${BASE_FILE_NAME}.ps

bashの参考

Bashの便利な構文だがよく忘れてしまうものの備忘録 - Qiita

bashで拡張子を除いたファイル名を取得する - Qiita