Closing this bug
I agree that user generated pk files in $HOME might create
a problem. But this is nothing we can fix in any case.
debconf does not help here, since we cannot even know whether
/home is properly mounted when the package is installed.
Closing this bug, as it is nothign anyone can do but the user
himself.
Norbert
------------------------------------------------------------------------
PREINING, Norbert http://www.preining.info
JAIST, Japan TeX Live & Debian Developer
DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094
------------------------------------------------------------------------
Reply to: