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


8

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

Как я могу избежать создания этого журнала? В одном из следующих сообщений об ошибках говорится об установке 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
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.