:: Re: [DNG] /usr to merge or not to m…
Top Page
Delete this message
Reply to this message
Author: Arnt Karlsen
Date:  
To: dng
Subject: Re: [DNG] /usr to merge or not to merge... that is the question??
On Fri, 16 Nov 2018 12:27:50 -0500, Steve wrote in message
<20181116122750.5ab73414@???>:

> 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.



..will such links solve our Debian /usr merge problem? As in, "let
them do their idiot merge, we'll just toss in a coupla symlinks."


--
..med vennlig hilsen = with Kind Regards from Arnt Karlsen
...with a number of polar bear hunters in his ancestry...
Scenarios always come in sets of three:
best case, worst case, and just in case.