Le 04/04/2024 à 13:11, Daniel Abrecht via Dng a écrit :
> /usr/local is for files that do not originate from the distribution /
> vendor.
> It is a place users put stuff. /usr/local absolutely must not be
> merged with /usr.

    Sure. But /usr/local/sbin is going to be merged with /usr/local/bin.