>>819
> dvipdfmx にまかせれば
それがアリなら、
$ platex () {/usr/bin/platex ${1%%.tex} && /usr/bin/dvipdfmx ${1%%.tex}; rm ${1%%.tex}.dvi}
とでもしておいて、platexを使えばいいだけでは？
もしくは、ptex2pdfを使う。