Re: /usr/share/doc vs. /usr/doc transition, debate reopened

[Michael Stone <mstone@itri.loyola.edu>]

On Tue, Aug 03, 1999 at 10:14:17PM +1000, Anthony Towns wrote:
> On Tue, Aug 03, 1999 at 07:41:26AM -0400, Michael Stone wrote:
> > On Tue, Aug 03, 1999 at 09:21:05PM +1000, Anthony Towns wrote:
> > > Possibly I'm just misunderstanding what you're suggesting should be done
> > > though. Can you give a sequence of commands that does whatever you're
> > > suggesting, and still has those three packages survive unscathed?
> > That's simple enough.
> 
> Then please give a concrete example, with actual .debs and actual shell
> commands.

I'm not going to do debs at this point. (It won't work anyway, because
of /usr/share/doc) I also don't know how to do it as a shell script,
because gnu mv is horribly broken. Here's a C snippit:

main() {
        rename("/usr/doc","/usr/share/doc");
        symlink("/usr/share/doc","/usr/doc");
        symlink("/usr/doc","/usr/share/doc");
}

Mike Stone