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