:: Re: [DNG] /usr to merge or not to m…
Top Page
Delete this message
Reply to this message
Author: Martin Steigerwald
Date:  
To: dng
Subject: Re: [DNG] /usr to merge or not to merge... that is the question??
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

Thanks,
--
Martin