Re: /usr/share/doc vs. /usr/doc transition, debate reopened
Dear Joseph Carter,
I'm sorry to shout but please read what I write.
> All right dammit, here we go... built a package crap 1.0-1, here is the
> listing:
>...
> /usr/lib/crap/olddir
>...
> Do you believe us yet? What more proof do you possibly need?
I am happy to tell you that we agree completely on the behaviour of dpkg on
your example. But you are ignoring a very important aspect of my proposal:
THIS ONLY HAPPENS FOR DIRECTORIES INTERNAL TO PACKAGES. It happens because
olddir is actually REMOVED by the deinstallation.
For directories that are not removed there is NO PROBLEM. Fortunately
/usr/doc is not removed unless everything is removed. This is a crucial
property of the proposal. Now back to the regular (constructive)
discussion...our goal is to find a solution, after all :)
What other problems could there be with my proposal.
Enjoy,
Kristoffer
--
Kristoffer Høgsbro Rose, phd, prof.associé <http://www.ens-lyon.fr/~krisrose>
addr. LIP, Ecole Normale Supérieure de Lyon, 46 Allée d'Italie, F-69364 Lyon 7
phone +33(0)4 7272 8642, fax +33(0)4 7272 8080 <Kristoffer.Rose@ENS-Lyon.FR>
pgp f-p: A4D3 5BD7 3EC5 7CA2 924E D21D 126B B8E0 <krisrose@{debian,tug}.org>
Reply to: