df does not show free space

[Derek Broughton]

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