名前: 土村 日時: 2007-03-15 22:45:39 IPアドレス: 133.11.136.*
>>47438 > とした方が早いかもしれません。または vfontmap を調べるなら > > % strings -a /usr/なんたら/xdvi.bin | grep vfontmap > > かな。 古い xdvi なら、確かに vfontmap のフルパス名が 実行ファイルに埋め込まれていたので、この手も使えるのですが、 新しいものは kpathsea で検索するようになったので、 この方法では正しいファイルが見つからないこともあります。 そもそもカレントディレクトリに vfontmap があれば、 それが読み込まれますし。 （つまりはカレントディレクトリにコピーして編集する手が使えます。） 具体的に表示させるには、 (bash) xdvi -debug 64 hoge.dvi 2>&1 | grep 'vfontmap.*1$' (tcsh) xdvi -debug 64 hoge.dvi |& grep 'vfontmap.*1$' のようにするしかなさそうです。 もっとわかりやすい方法があればよいのですが。 # 拙作のツールは上記を内部で実行しています。 # もっとも、今手元で試すとうまく動かなくなってました。(^^;)
この書き込みへの返事：