ホームディレクトリのmissfont.log?


8

クリーンインストールで、ホームディレクトリと、pdfsを開く他のディレクトリにmissfont.logというファイルができました。そこには欲しくない。

このログが作成されないようにするにはどうすればよいですか?次のバグレポートの1つはtetex-binのインストールについて話していますが、それを見つけることができません:bug1およびbug2

回答:


2

編集:このソリューションは結局機能しませんでした。すべての提案を歓迎します。

私は解決策を見つけましたが、それは完璧ではありません。どうやらバグはdvipsに関連しています。.dvipsホームフォルダーにファイルを追加し、MISSFONT_LOG変数を再定義しようとしました。後者のドキュメントは非常に不十分なため、正しいバージョンを追加してください。私は次のことを試してみましたが、どこにもmissfont.logファイルがありません(ただし、.missfont.logファイルもありません)。

MISSFONT_LOG = $HOME/.missfont.log 
MISSFONT_LOG = .missfont.log
MISSFONT_LOG : .missfont.log
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.