missfont.log dans le répertoire personnel?


8

Sur une installation propre, j'obtiens un fichier appelé missfont.log dans mon répertoire personnel ainsi que dans d'autres répertoires dans lesquels j'ouvre pdfs. Je n'en veux pas.

Comment puis-je éviter la création de ce journal? L'un des rapports de bogues suivants parle de l'installation de tetex-bin, mais je ne le trouve pas: bug1 et bug2 .

Réponses:


2

edit : cette solution n'a pas fonctionné après tout. toutes les suggestions sont les bienvenues.

J'ai trouvé une solution, mais elle n'est pas parfaite. Apparemment, le bogue est lié aux dvips. J'ai ajouté un fichier .dvipsdans mon dossier personnel et j'ai essayé de redéfinir la MISSFONT_LOGvariable. Ce dernier est très mal documenté, alors n'hésitez pas à ajouter la bonne version. 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
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.