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
