On Fri, Apr 05, 2024 at 08:40:05AM +0200, Didier Kryn wrote:
> Le 04/04/2024 à 22:19, Hendrik Boom a écrit :
> > 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.
>     Yes. Everything in /usr/local is for locally built software. Packaged
> software is absolutely forbidden to install under /usr/local. This seems to
> be a very strict rule.

Very strict, but not strict enough.
Sometimes third-party packages are designed to install entirely in /usr/local
to avoid conflicts with the distro.
Of course that can be a problem.

But there's no need for the local administrator to use /usr/local for her owm
software. She can use a randomly generated name and put everything there.
So instead of /usr/local, she could use /fuj67 as a place for all truly local software.

Just as easy to set up as one's own /usr/local.

-- hendrik