missfont.log no diretório inicial?

Question

Em uma instalação limpa, recebo um arquivo chamado missfont.log no meu diretório pessoal, bem como em outros diretórios nos quais abro os pdfs. Eu não quero isso aí.

Como posso evitar que este log seja criado? Um dos seguintes relatórios de bugs fala sobre a instalação do tetex-bin, mas não consigo encontrá-lo: bug1 e bug2 .

    

Answer 1

edit : esta solução não funcionou, afinal. todas as sugestões são bem vindas.

Eu encontrei uma solução, mas ela não é perfeita. Aparentemente, o bug está relacionado a dvips. Eu adicionei um arquivo .dvips na minha pasta pessoal e tentei redefinir a variável MISSFONT_LOG . O último está muito mal documentado, então sinta-se à vontade para adicionar a versão correta. Eu tentei o seguinte e eu não estou mais recebendo arquivos missfont.log por todo o lugar (também não. Arquivos .missfont.log, embora).

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