Con un'installazione pulita ottengo un file chiamato missfont.log nella mia home directory e in altre directory in cui apro i pdf. Non lo voglio lì.
Come posso evitare che questo registro venga creato? Una delle seguenti segnalazioni di bug parla dell'installazione di tetex-bin, ma non riesco a trovarlo: bug1 e bug2 .
Risposte:
modifica : questa soluzione non ha funzionato dopo tutto. tutti i suggerimenti sono benvenuti.
Ho trovato una soluzione, ma non è perfetta. Apparentemente il bug è legato a dvips. Ho aggiunto un file .dvipsnella mia cartella home e ho provato a ridefinire la MISSFONT_LOGvariabile. Quest'ultimo è scarsamente documentato, quindi sentiti libero di aggiungere la versione corretta. Ho provato quanto segue e non ricevo più file missfont.log dappertutto (anche se non ci sono file .missfont.log).
MISSFONT_LOG = $HOME/.missfont.log
MISSFONT_LOG = .missfont.log
MISSFONT_LOG : .missfont.log