On 2023/05/15 20:26, Sam Hartman wrote:
Off list, I wanted to try to explain what I think merged /usr has
brought us that is positive.
I want to stress that I'm not a huge fan of merged /usr, and I know
you've encouraged me not to argue from a devil's advocate position in
the past.
And this is where I stop reading any further.
To merge or not to merge is no longer an interesting or more
importantly, a relevant discussion. The project has made the choice to
implement it, after we've been one of the last major distributions to
hold out on implementing it. Sure, it's been bumpy, and there's
potential downsides, but none of the technical problems are as harmful
as still trying to make this a debate.
So, please, file bugs or fix bugs and support the people who need to
complete the remaining bits of merged-/usr, or otherwise please move on.
-Jonathan