Unix administration - /home+/usr/local on a single partition. What would be the mount point

Author

/home+/usr/local on a single partition. What would be the mount point

totorolm@gmail.com

2007-11-21, 7:32 am

Hi,

I have a single partition with users home directories (traditionally /
home) and
additionnal software (traditionally /usr/local).
What would be the mount point of such partition ?

Could it be /usr/local ?
According to Wikipedia on Filesystem Hierarchy Standard:
/usr/local is a "Tertiary hierarchy for local data, specific to this
host. Typically has further subfolders, eg. bin/, lib/, share/."
So it seems to be the place to do it. But the problem is that /usr/
local/home seems strange: is not complient with the Filesystem
Hierarchy Standard

Thanks for your opinions/experience

PS: I do not need technical details on how to do it but rather opinion
about the rational of such mont point