Norbert Preining <[EMAIL PROTECTED]> wrote: > As long as we leave the file in /var/lib/ somewhere and the user does > NOT edit the file by hand, messing up everything, this should be enough > to solve the problems.
But this means that there is no longer a configuration file for TeX font usage, everything must be done by running commands. And a user who only backs up /home and /etc (and maybe /var/lib/dpkg) has no chance to restore the information, although it is "configuration". Regards, Frank -- Frank Küster Inst. f. Biochemie der Univ. Zürich Debian Developer
