Skribent: Hendrik Boom Dato: Til: dng Emne: Re: [DNG] /usr to merge or not to merge... that is the question??
On Tue, Nov 20, 2018 at 12:03:37PM -0500, Steve Litt wrote: > On Sun, 18 Nov 2018 09:40:14 +0100
> KatolaZ <katolaz@???> wrote:
>
> > On Sun, Nov 18, 2018 at 04:51:43PM +0900, Olaf Meeuwissen wrote:
> >
> > [cut]
> >
> > >
> > > ACK. Just like to point out that Devuan might run into packages
> > > that have already moved programs that really ought to be in /bin
> > > or /sbin over to /usr/bin and /usr/sbin.
> > >
> > > Image bash getting installed in /usr/bin/bash. With the merged /usr
> > > scenario that's not a problem because /bin is a symlink to /usr/bin
> > > and all you #!/bin/bash scripts will continue to work just fine.
> > > In the non-merged scenario /bin/bash will not exist and all hell
> > > breaks loose.
> >
> > Let's solve first the problems that we have now, instead of trying to
> > solve the problems that we do not have as yet (and might not ever have
> > at all), OK? :)
> >
> > There is no reason so far for the packagers of basic utilities to
> > massively move their stuff under /usr/bin and/or /usr/sbin. So let's
> > keep calm and carry on ;)
>
> And besides all that, a few symlinks or hardlinks solves the problem
> if it ever does come to pass.