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.

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