Re: mounted volume information

[Justus Winter]

Quoting Riccardo Mottola (2014-03-26 11:19:32)
> 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.

df gets its data from /proc/mounts, so if you look there, you should
see your "mounts".  The reason our mount does not show those is that
mount simply does not read /proc/mounts but only /etc/fstab.

If you want to work on this, look how utils/umount.c reads the mtab
file.  If you get stuck, feel free to ask :)

Justus