Le 13/12/2022 à 12:57, Olaf Meeuwissen via Dng a écrit :
> Now that partition size is no longer an issue, some folks want to move
> everything to /usr because the reason for the split is gone. I think
> they've got things backwards. Everything should be moved out of /usr
> and back into / if you really care!

    Exactly.