Re: /home auf extra Partition

[Joerg Sommer <joerg@alea.gnuu.de>]

begin  Michelle Konzack <linux4michelle@freenet.de> wrote:
> Am 2004-05-17 17:00:01, schrieb Norbert Tretkowski:
>>* Michelle Konzack wrote:
>>> Am 2004-05-17 15:22:16, schrieb Thorsten Haude:
>>> >Moin,
>
>>>> Gelingt bei mir nicht. Kannst Du mal eine Befehlsfolge posten, die
>>>> das demonstriert?
>>>=20
>>> Du mountest von X aus ?  -  Dann ist das klar...
>>
>>Was ist dann klar?
>
> Das er nicht mounten kann, denn er ist ja aktiv im Verzeichnis /home

Humbug.

(root):~# umount /mnt/other 
(root):~# mkdir /mnt/other/foo
(root):~# cd /mnt/other/foo/
(root):/mnt/other/foo# mount /dev/discs/disc0/part5 .. 
(root):/mnt/other/foo# ls
(root):/mnt/other/foo# ls ..
lost+found    osx-1-01.xinf  osx-2-01.img   osx-2.toc     osx-3-01.xinf
osx-1-01.img  osx-1.toc      osx-2-01.xinf  osx-3-01.img  osx-3.toc
(root):/mnt/other/foo# mount |grep other
/dev/discs/disc0/part5 on /mnt/other type ext2 (rw)

> Wenn Du es k=F6nntest, w=FCrde es bedeuten, das Du dem xserver was unterm=
> =20
> Arsch wegziehst...=20

Was heißt wegziehen, natürlich kann der Xserver noch auf seine offenen
Dateien zugreifen. Wenn er jedoch nochmal neu ins HOME schaut, dann sieht
er auch das neue.

end.
-- 
"Computer games don't affect kids. If Pacman would have affected us as
children, we would now run around in darkened rooms, munching pills and
listening to repetetive music."