Well, I think it's not necessary. I'll remove those cleaning commands. Any other issue?Is it a problem? How should I modify it to delete only our fonts - I'm not really strong at bash wildcard syntax.The postinstall script would delete these fonts for me:
/var/cache/fonts/pk/ljfour/jknappen/ec/ecrm1000.600pk /var/cache/fonts/tfm/jknappen/ec/ecrm1000.tfm
Why is it neccessary to delete fonts at all?
Bert
