
10 Jan
2021
10 Jan
'21
5:38 p.m.
On Sun, 10 Jan 2021 17:07:28 +1300, Peter Reutemann quoted:
'Linux Mint 20.1 comes with a unified file system that sees certain directories being merged with their counterparts in /usr, e.g. /bin merged with /usr/bin, /lib merged with /usr/lib for compatibility purposes...'
It’s actually the other way round: /lib and /usr/lib remain separate directories, and correspondingly /bin and /usr/bin, for compatibility purposes, while their contents are being merged to get away from the old idea that /usr could be a separate filesystem. This was important back when hard drives were smaller, but I doubt anybody still cares about it this century.