df does not show free space

[Derek Broughton]

Florian Diesch wrote:

> Derek Broughton <news at pointerstop.ca> wrote:
> 
>> Florian Diesch wrote:
>>
>>> Colin Brace <cb at lim.nl> wrote:
>>
>>>> What I don't understand at this point is how my root partition was
>>>> getting mounted at all. At some point earlier in the boot process, does
>>>> root get mounted in another way?
>>> 
>>> The kernel mounts / read-only before it starts init. It gets the
>>> device from the kernel parameter "root", usually set in the boot
>>> manager. init than remounts / read-write.
>>
>> Yes, but again, it must have been using a UUID (it should because that's
>> the way Ubuntu builds it the first time), or it would have ended up
>> mounting
>> the wrong (or no) partition.  That's why we have UUID :-)
> 
> The question was why / gets mounted even it has a wrong UUID in
> /etc/fstab.

Well, no, that wasn't a question at all in my mind.  It was an obvious :-)

The answer is not that "/" gets mounted with a wrong UUID, it's that it
_fails_ to _remount_ in the boot process - and there should be a message in
dmesg about that.
-- 
derek