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.
#! /bin/sh /usr/share/dpatch/dpatch-run
## 05_use_var_cache.dpatch by Ralf Treinen <[EMAIL PROTECTED]>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: Use default cache for fonst,instead of the users home dir
@DPATCH@
--- texmacs-1.0.6~/src/Plugins/Metafont/tex_files.cpp
+++ texmacs-1.0.6/src/Plugins/Metafont/tex_files.cpp
@@ -132,8 +132,7 @@
if (get_setting ("MAKETFM") == "maketfm"){
if (name(N(name) - 4, N(name)) == ".tfm")
name = name (0, N(name) - 4);
- s = "maketfm --dest-dir \"" * get_env("$TEXMACS_HOME_PATH")
- * "\\fonts\\tfm\" " * name;
+ s = "maketfm "* name;
if (DEBUG_VERBOSE) cout << "TeXmacs] Executing " << s << "\n";
system (s);
}
@@ -150,12 +149,10 @@
system (s);
}
if (get_setting ("MAKEPK") == "mktexpk") {
- url pk_dir ("$TEXMACS_HOME_PATH/fonts/pk");
s="mktexpk " *
string ("--dpi ") * as_string (dpi) * " " *
string ("--bdpi ") * as_string (design_dpi) * " " *
string ("--mag ") * as_string (dpi) *"/"* as_string (design_dpi) * " " *
- string ("--destdir ") * as_string (pk_dir) * " " *
name;
if (DEBUG_VERBOSE) cout << "TeXmacs] Executing " << s << "\n";
system (s);
@@ -167,8 +164,7 @@
* name * " " * as_string(dpi) * " " * as_string(design_dpi)
* " " * as_string(dpi) * "%//" * as_string(design_dpi);
#else
- s = "makepk --dest-dir \""
- * get_env("$TEXMACS_HOME_PATH") * "\\fonts\\pk\" "
+ s = "makepk "
* name * " " * as_string(dpi) * " " * as_string(design_dpi)
* " " * as_string(dpi) * "/" * as_string(design_dpi);
#endif
_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev
