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