missfont.log в домашнем каталоге?
При чистой установке я получаю файл missfont.log в моем домашнем каталоге, а также в других каталогах, в которых я открываю PDF-файлы. Я не хочу этого там.
Как я могу избежать создания этого журнала? В одном из следующих сообщений об ошибках говорится об установке tetex-bin, но я не могу его найти: bug1 и bug2 .
1 ответ
редактировать : это решение не сработало. все предложения приветствуются.
Я нашел решение, но оно не безупречно. Видимо ошибка связана с dvips. Я добавил файл .dvips в свою домашнюю папку и попытался переопределить переменную MISSFONT_LOG. Последнее очень плохо документировано, поэтому не стесняйтесь добавлять правильную версию. Я попробовал следующее, и я больше не получаю файлы missfont.log повсюду (хотя также нет файлов .missfont.log).
MISSFONT_LOG = $HOME/.missfont.log
MISSFONT_LOG = .missfont.log
MISSFONT_LOG : .missfont.log