missfont.log no diretório inicial?

8

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

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

don.joey
fonte

Respostas:

2

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

Eu encontrei uma solução, mas não é perfeita. Aparentemente, o bug está relacionado ao dvips. Adicionei um arquivo .dvipsna minha pasta pessoal e tentei redefinir a MISSFONT_LOGvariável. O último está muito mal documentado, portanto, fique à vontade para adicionar a versão correta. Tentei o seguinte e não estou mais recebendo arquivos missfont.log em todo o lugar (embora também não haja arquivos .missfont.log).

MISSFONT_LOG = $HOME/.missfont.log 
MISSFONT_LOG = .missfont.log
MISSFONT_LOG : .missfont.log
don.joey
fonte