Auteur: Rowland Penny Date: À: dng Sujet: Re: [DNG] /usr to merge or not to merge... that is the question??
On Fri, 16 Nov 2018 12:27:50 -0500
Steve Litt <slitt@???> wrote:
> On Fri, 16 Nov 2018 16:04:42 +0100
> Martin Steigerwald <martin@???> wrote:
>
>
> > I do not yet have a firm opinion on this. So for now I just like to
> > share an experience I had with Debian without usrmerge:
> >
> > I downloaded a software – I do not remember that it was – from
> > somewhere – I do not remember where that was at the moment – and
> > there has been a shell script with the following shebang:
> >
> > #!/usr/bin/bash
>
> If this is the main disadvantage of the split, then a couple symlinks
> or hardlinks solves it.
>
Bash is in /bin on Debian, but on Centos it is in /usr/bin and also
in /bin, so the shell script was probably written by a red-hat user ;-)