mounted volume information

[Riccardo Mottola]

Hi,

my volume saga continues. I did quite some work in the past two evenings.

* I commented out the mounting of the second partition on /home in 
/etc/fstab
* Afterwards I could end boot without problems.
* I setup network and upgraded everything with apt-get

I then want to run fsck on my second partition /dev/hd0s2 and mount it 
manually. I get the error that the partition is already mounted. However 
"mount" does not show it as mounted!

ls in /home shows that I have my home directory in it.

If I run "df -k", both partitions look mounted.

I do now wonder: it appears to bre really mounted, but how does it get 
mounted if it is not mentioned in /etc/fstab ? Another way of doing 
things on HURD? and why does "mount" not list it?

I tihnk there is some kind of mismatch, but don't know what/where.

Riccardo