2021-01-16から1日間の記事一覧
ひとまずこんな感じでやってみた。 #!/bin/bash # echo "$1" # 拡張子を除く BASE_FILE_NAME=`basename "$1" .pdf` # echo $BASE_FILE_NAME pdf2ps "$1" ps2eps ${BASE_FILE_NAME}.ps bashの参考 Bashの便利な構文だがよく忘れてしまうものの備忘録 - Qiita …
ひとまずこんな感じでやってみた。 #!/bin/bash # echo "$1" # 拡張子を除く BASE_FILE_NAME=`basename "$1" .pdf` # echo $BASE_FILE_NAME pdf2ps "$1" ps2eps ${BASE_FILE_NAME}.ps bashの参考 Bashの便利な構文だがよく忘れてしまうものの備忘録 - Qiita …