> yes, I guess they should go into /var/cache/fonst/pk (in case the > user has write permission to this directory).
Yes, he/she has on a standard Debian system: $ ls -al /var/cache/fonts/ total 28 drwxr-xr-x 5 root root 4096 2003-09-01 06:42 ./ drwxr-xr-x 50 root root 4096 2005-12-09 09:19 ../ -rw-rw-r-- 1 root users 7137 2005-12-09 09:07 ls-R drwxrwxrwt 3 root root 4096 2005-05-27 13:37 pk/ drwxrwxrwt 4 root root 4096 2004-04-14 16:36 source/ drwxrwxrwt 7 root root 4096 2004-07-26 15:10 tfm/ Furthermore, it would be nice if texmacs would detect that those fonts have already been generated by one user and would speed up the process for other users. > I will have a look at this. Thanks ! -- Laurent Bonnaud. http://www.lis.inpg.fr/pages_perso/bonnaud/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
