Re: Bug#40706: usr/share/doc vs. /usr/doc

[ron@microtronics.com.au (Ron)]

> It would help because /usr/doc could become almost empty *for a typical
> system*. (Not if you install the 2500+ packages, of course).

..actually this is almost exactly the *problem* that this change is
going to cause one of my debian boxes.

I have a box that uses several smallish drives..  some time ago when
my /usr partition was beginning to look rather full I split /usr/src
and /usr/doc off onto a separate drive (and partitions of their own).

So now _my_ problem is that if /usr/doc is slowly migrated to /usr/share
my /usr partition will again overflow long before the change is complete
and meanwhile I will have an increasingly empty partition that I won't
be able to immediately reuse.

What I had hoped I could do in this case would be simply to remount
the /usr/doc partition as /usr/share/doc and then symlink /usr/doc
to it..  however it was previously indicated that this might cause
problems with dpkg..

Could someone please elaborate on what sort of problems they see
this may be likely to cause?  If I can reasonably make this switch
before I have files in both doc locations then I'll certainly be
able to breathe easier whatever else happens ;-)

thanks,
Ron.