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

T

totorolm@gmail.com

Guest
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
 


T

Todd H.

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

totorolm@gmail.com 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.
http://www.toddh.net/
 
B

Bill Marcum

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

On 2007-11-21, totorolm@gmail.com <totorolm@gmail.com> 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).
 
G

Geoff Clare

Guest
Re: /home+/usr/local on a single partition. What would be the mountpoint ?

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 <netnews@gclare.org.uk>
 

Top