latexを作るのに便利なようにPNGファイルをEPSに一括変換
ディレクトリ内にあるpngファイルをepsファイルに変換するのに、
シェルスクリプトを書きたかったのですが、
ファイル名をとってきたあとに拡張子の部分を削除するのがよくわかりませんでした。
http://www.kishiro.com/FreeBSD/get_filename_in_shellscript.html
そこでこちらを参考に。
正規表現苦手。
ls | head -n 1 |
while read file; do if [ "${file##*.}" == "png" ]; then
convert ${file} ${file%.*}.eps
ファイルの拡張子がpngだった場合、
同名のepsファイルにconvertするスクリプトです。
追記:
この方がスマート!
http://rakkyoo.net/?p=1223
シェルスクリプトを書きたかったのですが、
ファイル名をとってきたあとに拡張子の部分を削除するのがよくわかりませんでした。
http://www.kishiro.com/FreeBSD/get_filename_in_shellscript.html
そこでこちらを参考に。
正規表現苦手。
ls | head -n 1 |
while read file; do if [ "${file##*.}" == "png" ]; then
convert ${file} ${file%.*}.eps
fi
doneファイルの拡張子がpngだった場合、
同名のepsファイルにconvertするスクリプトです。
追記:
この方がスマート!
http://rakkyoo.net/?p=1223
コメント
コメントを投稿