:: Re: [DNG] /usr to merge or not to m…
Pàgina inicial
Delete this message
Reply to this message
Autor: etech3
Data:  
A: dng
Assumpte: Re: [DNG] /usr to merge or not to merge... that is the question??
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.