Metapost で生成したファイルを完全な eps に変換しするのに huga.102.eps とかの名前にしてしまう．それを platex を使う場合はこれで問題ないのだが，pdflatex を使った場合には拡張子が分からんと文句をいわれる．ので，huga.102.eps とかを huga-102.eps に直す bash-only の One Liner:
for i in *.*.eps; do j=${i%.eps};k=${i%.*.eps}-${j#*.}.eps; echo mv $i $k; mv $i $k; done
- Newer: ことはじめ