> William E. Roadcap ecrivit:
> >
> > On 9 Apr 1996, H. Peter Anvin wrote:
> >
> > > Currently it seems Linux does not permit overmounting a filesystem
> > > (mounting a filesystem on top of another, on the same path).
> >
> > Just tried it, and it works:
> >
> > /dev/hda1 on / type ext2 (rw)
> > /dev/hda2 on /home type ext2 (rw)
> > /proc on /proc type proc (rw)
> > /dev/hda3 on /home/eddie type ext2 (rw)
>
> That's not what he meant I don't think. I think he really wanted
> something like:
>
> mount /dev/hda2 /home
> ... do things
> mount /dev/hda3 /home
>
> Is that right? If so, it's true you can't do that currently.
The point is whether the second mount should implicitly umount the
old disk, or just hide it. /etc/mtab currently can't handle stacked
mounts (same for /proc/mounts). Also mount(8) will have some trouble
selecting the correct entry from /etc/fstab.
> :E
> --
> Eric S. Mountain - eric@minouche.demon.co.uk
>
> Undetectable errors are infinite; detectable errors by definition are finite.
Ulrich