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

totorolm@gmail.com

Hi,

I need to merge users home directories (traditionally /home) and
additionnal software (traditionally /usr/local) on a single partition
(which is not formated during system upgrade).
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

Todd H.

writes:

> Hi,
>
> I need to merge users home directories (traditionally /home) and
> additionnal software (traditionally /usr/local) on a single partition
> (which is not formated during system upgrade).
> What would be the mount point of such partition ?

Okay, I'm gonna assume you've currently got a /home mountpoint where
you hang disk partition x and a /usr/local mountpoint that you hang
partition y on, and these mappings are defined in /etc/fstab

I'll further assume those two mount points are mounted to begin with.
You want to get them together on one partion.... Well, how bout / ?
Does it have the space?

If so:

cp -r -p /home /homes
cp -r -p /usr/local /usr/locals
umount /home
umount /usr/local
vi /etc/fstab # remove lines that will automatically mount the
# partitions on next boot
mv /homes /home
mv /usr/locals /usr/local
cowsay Woot!



But I strongly suspect there are aspects to your question that lie
dormant and this solution is probably not really what you need, but
consider it a strawman to refine what exactly you're trying to do
here.

--
Todd H.

Bill Marcum

On 2007-11-21, <> wrote:
>
>
> Hi,
>
> I need to merge users home directories (traditionally /home) and
> additionnal software (traditionally /usr/local) on a single partition
> (which is not formated during system upgrade).
> 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
>
You could use either /home or /usr/local as a mount point and make the
other a symbolic link. You could mount the partition somewere else with
symbolic links for both /home and /usr/local. Or you could mount with
the bind option if your system supports it (lets you mount
subdirectories, not just block devices, at different points in the file
heirarchy).

Geoff Clare

Todd H. wrote:

> cp -r -p /home /homes

Beware of cp -r. It's behaviour varies between different systems.
On some it behaves sensibly like cp -R, on others it is simplistic
and will try to open special files like FIFOs and device files.
Always use cp -R instead.

Of course, neither will preserve hard links. For that you need
cp -a (GNU specific) or something like:

cd /home && pax -rw -pe . /homes

--
Geoff Clare <.uk>