Scheduled Maintenance: We are aware of an issue with Google, AOL, and Yahoo services as email providers which are blocking new registrations. We are trying to fix the issue and we have several internal and external support tickets in process to resolve the issue. Please see: viewtopic.php?t=158230

 

 

 

Log file keeps creating in home directory

If none of the specific sub-forums seem right for your thread, ask here.
Post Reply
Message
Author
matjaz132
Posts: 2
Joined: 2018-11-08 08:00

Log file keeps creating in home directory

#1 Post by matjaz132 »

Hello!

I've been having a problem on my two laptops for 2 days now. I'm running Debian Stable and for the past maybe 2 days I'm getting a file named missfont.log in my home directory. It's contents are:

Code: Select all

mktexpk --mfmode / --bdpi 600 --mag 1+120/600 --dpi 720 cmbx12
mktexpk --mfmode / --bdpi 600 --mag 1+120/600 --dpi 720 cmr10
mktextfm cmbx12
mktextfm cmr10
It's really random. Usually it's when I move windows, workspaces, etc,.. but this is just random I think. Over time this file gets bigger and bigger and its contents are multiplied.

Anyone knows what's causing this problem? I've googled and some Latex program file seems to be the problem but I don't have anything related to Tex installed on both machines.

User avatar
debiman
Posts: 3063
Joined: 2013-03-12 07:18

Re: Log file keeps creating in home directory

#2 Post by debiman »

must be some software that you use.
maybe:

Code: Select all

apt-file search mktexpk
texlive-binaries: /usr/bin/mktexpk
???

have you tried configuring that software to not "miss fonts"?
have you tried installing those "missing fonts"?

Post Reply