missfont.log di direktori home?

Pada instalasi yang bersih saya mendapatkan file bernama missfont.log di direktori home saya dan juga di direktori lain di mana saya membuka pdf. Saya tidak ingin itu ada di sana.

Bagaimana saya bisa menghindari log ini dibuat? Salah satu laporan bug berikut berbicara tentang menginstal tetex-bin, tetapi saya tidak dapat menemukannya: bug1 dan bug2 .

sunting : solusi ini tidak berhasil sama sekali. semua saran dipersilahkan.

Saya menemukan solusi, tetapi tidak sempurna. Rupanya bug tersebut terkait dengan dvips. Saya menambahkan file .dvipsdi folder rumah saya dan mencoba mendefinisikan ulang MISSFONT_LOGvariabel. Yang terakhir ini sangat buruk didokumentasikan, jadi silakan menambahkan versi yang benar. Saya mencoba yang berikut ini dan saya tidak lagi mendapatkan file missfont.log di semua tempat (juga tidak ada file .missfont.log).

MISSFONT_LOG = $HOME/.missfont.log 
MISSFONT_LOG = .missfont.log
MISSFONT_LOG : .missfont.log