missfont.log im Home-Verzeichnis?


8

Bei einer Neuinstallation erhalte ich eine Datei namens missfont.log in meinem Home-Verzeichnis sowie in anderen Verzeichnissen, in denen ich PDFs öffne. Ich will es dort nicht.

Wie kann ich vermeiden, dass dieses Protokoll erstellt wird? Einer der folgenden Fehlerberichte spricht von der Installation von tetex-bin, aber ich kann es nicht finden: bug1 und bug2 .

Antworten:


2

edit : diese lösung hat doch nicht funktioniert. Alle Vorschläge sind willkommen.

Ich habe eine Lösung gefunden, aber sie ist nicht fehlerfrei. Anscheinend hängt der Fehler mit dvips zusammen. Ich habe eine Datei .dvipsin meinem Home-Ordner hinzugefügt und versucht, die MISSFONT_LOGVariable neu zu definieren . Letzteres ist sehr schlecht dokumentiert, daher können Sie die richtige Version hinzufügen. Ich habe Folgendes versucht und erhalte nicht mehr überall missfont.log-Dateien (allerdings auch keine .missfont.log-Dateien).

MISSFONT_LOG = $HOME/.missfont.log 
MISSFONT_LOG = .missfont.log
MISSFONT_LOG : .missfont.log
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.