[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: mounted volume information

From: Justus Winter
Subject: Re: mounted volume information
Date: Wed, 26 Mar 2014 12:49:18 +0100
User-agent: alot/0.3.4

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 :)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]