mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Tue, May 03, 2005 at 10:49:30AM +0200, Riccardo Ferrari wrote:
> >On Tue, May 03, 2005 at 08:43:00AM +0200, Riccardo Ferrari wrote:
> >>This happens when I try to open the "Welcome" document. The missing
> >>fonts appears to be installed:
> >[...]
> >>/Users/riccardo/.TeXmacs/fonts/error/cmbx12.600pk
> >>/Users/riccardo/.TeXmacs/fonts/error/cmbx12.tfm
> >[...]
> >>Any hint from the programmers?
> >
> >You may have to do
> >
> >     rm /Users/riccardo/.TeXmacs/fonts/error/*
> >     rm ~/.TeXmacs/fonts/font-index.scm
> >
> >TeXmacs remembers about fonts which could not be loaded correctly.
> >
> >Best wishes, Joris
> 
> Great! This definitely solved the problem. I didn't expect Texmacs to 
> remember previously errors and simply complain. Shouldn't be better if 
> Texmacs, when restarted, retried to load every font?

No, even when you correctly installed the basic fonts,
it may happen that some fonts are not or badly available.
Every time you load a document, TeXmacs would then attempt to
regenerate the missing font(s). This may take an awful lot of time.

Since the problem you encountered only happens when something
goes wrong with the installation, I will rather execute the above
commands when relaunching TeXmacs using the --setup option.

Andreas: can you please create a FAQ-entry for this issue?
If something goes wrong during installation, people should
retry with the --setup option.