Hi, the attached trivial patch would solve the situation. But I wonder if we need that removal here at all? Ari, what do you think?
Regards Evgeni
diff -Nru drscheme-4.0.1+fake.1/debian/changelog drscheme-4.0.1+fake.1+nmu1/debian/changelog --- drscheme-4.0.1+fake.1/debian/changelog 2008-07-14 06:05:53.000000000 +0200 +++ drscheme-4.0.1+fake.1+nmu1/debian/changelog 2009-02-08 13:15:38.000000000 +0100 @@ -1,3 +1,11 @@ +drscheme (2:4.0.1+fake.1+nmu1) unstable; urgency=low + + * Non-maintainer upload. + * Only remove /usr/local/lib/plt/collects if it's a real directory. + Closes: #514396 + + -- Evgeni Golov <[email protected]> Sun, 08 Feb 2009 13:07:20 +0100 + drscheme (2:4.0.1+fake.1) unstable; urgency=low * Create dummy drscheme and packages that just depend on plt-scheme diff -Nru drscheme-4.0.1+fake.1/debian/mzscheme.postrm drscheme-4.0.1+fake.1+nmu1/debian/mzscheme.postrm --- drscheme-4.0.1+fake.1/debian/mzscheme.postrm 2008-06-15 03:35:15.000000000 +0200 +++ drscheme-4.0.1+fake.1+nmu1/debian/mzscheme.postrm 2009-02-08 13:03:47.000000000 +0100 @@ -3,7 +3,7 @@ case "$1" in purge|remove) - if [ -d /usr/local/lib/plt/collects ]; then + if [ -d /usr/local/lib/plt/collects -a ! -L /usr/local/lib/plt/collects ]; then rmdir --ignore-fail-on-non-empty \ /usr/local/lib/plt/collects /usr/local/lib/plt fi
