missfont.log в домашнем каталоге?

При чистой установке я получаю файл с именем missfont.log в моем домашнем каталоге, а также в других каталогах, в которых я открываю pdfs. Я не хочу этого там.

Как я могу избежать создания этого журнала? В одном из следующих сообщений об ошибках говорится об установке tetex-bin, но я не могу его найти: bug1 и bug2 .

редактировать : это решение не работает в конце концов. все предложения приветствуются.

Я нашел решение, но оно не безупречно. Видимо ошибка связана с dvips. Я добавил файл .dvipsв свою домашнюю папку и попытался переопределить MISSFONT_LOGпеременную. Последнее очень плохо документировано, поэтому не стесняйтесь добавлять правильную версию. Я попробовал следующее, и я больше не получаю файлы missfont.log повсюду (хотя также нет файлов .missfont.log).

MISSFONT_LOG = $HOME/.missfont.log 
MISSFONT_LOG = .missfont.log
MISSFONT_LOG : .missfont.log