>
>How do you know they're two filesystems?   /usr and /usr/local are on
>the same filesystem on every machine I own, and indeed this is the way
>they will be set up if you take the defaults in the installer.
>
Exactly!  How do you?  And, what if they are on different partitions or
even different disks?  Then, it doesn't work?

Or does it?

Paul