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.