On Sat, 17 Nov 2018 18:53:59 -0500, etech3 wrote in message
<5BF0AA17.9030202@???>:

> On 11/17/2018 06:26 PM, Arnt Karlsen wrote:
> > On Sat, 17 Nov 2018 12:32:59 +0100, Martin wrote in message
> > <44080848.gBCAc932W8@merkaba>:
> >
> >> Martin Steigerwald - 16.11.18, 16:04:
> >>> In any case: Regarding a decision I'd take the amount of effort
> >>> into account which would be needed to divert from Debian's
> >>> default. As long as Debian still supports the usr split, I bet
> >>> that effort would be minimal, but as soon as packages appear that
> >>> just stuff anything in '/usr', then diverting becomes more and
> >>> more pointless or Devuan would need to carry packages with
> >>> different directory layout.
> >> Some Debian developers who are involved with packaging Systemd and
> >> related stuff already started to move things to /usr that were in
> >> directories under / before:
> >>
> >> Please move libkmod to /usr/lib
> >> https://bugs.debian.org/894566
> > ..to clarify, "Please move libkmod to /usr/lib" is the title of
> > https://bugs.debian.org/894566 and is what the systemd people
> > wanna do to Debian, and what we should not wanna do to Devuan.
> >
> You did see the date on that first message right?
> Subject: Please move libkmod to /usr/lib
> Date: Sun, 01 Apr 2018 18:10:28 +0200
> Borg is, Borg does. The problem is not the Borg collective but the
> borg collectives, one trying to assimilate the other. Anything the
> helps FD, systemd, I say no. Keep moving forward.
>
> That's all I have to say about that.

..as April 1'st jokes go, this one is fairly elaborate, check out
Message #10 and below, maybe they have some flying-under-the-radar
fun coming on Monday April 1'st 2019? ;o)

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