> > That means /usr/gnu becomes a famous mount point, just like > > /usr/local. > > Isn't /usr/gnu already famous (at least, to whatever extent IRIX 6 is > famous, which has shipped with that path for quite a while)?
Here, "famous" isn't referring to the name itself but the ability to have the directory be provided on a distinct filesystem from /usr. -- meem
