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. _______________________________________________ Dng mailing list Dng@lists.dyne.org https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng
