On Thu, Apr 04, 2024 at 01:10:09PM +0200, Daniel Abrecht via Dng wrote:
> /usr/local is for files that do not originate from the distribution /
> vendor.

What's important is that the distro refrain from putting anything in
/usr/local themselves.

> It is a place users put stuff. /usr/local absolutely must not be merged
> with /usr.

Let's say they do merge it into /usr.
The effect will be that there isn't any /usr/local.

And there's no reason for /usr/local to originate from the
distribution either.

If they leave it out, I can easily
    mkdir /usr/local
myself.

There. Making my directory to put my files in.

-- hendrik