missfont.log dans le répertoire personnel?
Lors d’une nouvelle installation, j’obtiens un fichier missfont.log dans mon répertoire personnel ainsi que dans d’autres répertoires dans lesquels j’ouvre pdfs. Je n'en veux pas là.
Comment puis-je éviter que ce journal soit créé? L'un des rapports de bogue suivants parle de l'installation de tetex-bin, mais je ne le trouve pas: bug1 et bug2 .
edit: cette solution ne fonctionnait pas après . toutes les suggestions sont les bienvenues.
J'ai trouvé une solution, mais ce n'est pas sans faille. Apparemment, le bogue est lié à dvips. J'ai ajouté un fichier .dvips dans mon dossier personnel et j'ai essayé de redéfinir la variable MISSFONT_LOG. Ce dernier est très mal documenté, alors n'hésitez pas à ajouter la version correcte. J'ai essayé ce qui suit et je ne reçois plus de fichiers missfont.log partout (également aucun fichier .missfont.log, cependant).
MISSFONT_LOG = $HOME/.missfont.log
MISSFONT_LOG = .missfont.log
MISSFONT_LOG : .missfont.log