[Texmacs-dev] TeXmacs and font caches

[Ralf Treinen]

Hi,

currently, TeXmacs stores pk and tfm files in the users's home
directory,  that is in $TEXMACS_HOME_PATH/fonts/{tfm,pk}. Is there
any particular reason for this? On a reasonably configured system,
mktexpk and mktextfm use a system-wide cache directory
for this (on debian this is /var/cache/fonts, which is the 
location defined for this purpose by the File Hierarchy Standard).

I recently had a debian user complain about this behaviour of
TeXmacs' (he is right). Using a system-wide cache directory
has the advantage that generated fonts are shared with other
programs (like TeX) and/or with other users on the same
machine. The patch would look something like the one attached.
Does anyone see problems with changing TeXmacs' behaviour in
this sense?

-Ralf.

05_use_var_cache.dpatch
Description: Text document