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