ピックはどこだ。

_ [linux][debian] platex

debian で platex を使おうと思ったんだが、入っていなかったので install。 debian では ptex というパッケージ名な感じだったのでそれを入れる。 とりあえずそれでタイプセットできた。 だが、xdvi で見ようとすると font がどうこう言われるので、 apt で ptex-jisfonts を入れてやる。 すると install 後に jisftconfig add と叩け、言われるが叩いても まだまだ足りないものがあるらしい。 結局、

dvipsk-ja
xdvik-ja
dvipdfm-cjk

以上の 3 つを入れて

$ jisftconfig add

すると platex でタイプセットして xdvi で見られる環境が整った。