[gentoo-user] Information request: root directory not listed by df

[Alan E. Davis]

I followed the method outlined in the Gentoo installation docs, placing
/boot on a small partition.  Then when booting, I specify the root directory
in grub.conf.

The device is listed in /etc/fstab

              /dev/sda4               /               ext3
noatime         0 1

However, df doesn't list /dev/sda4.  Is this because it was specified as a
parameter?
The following are listed by df:

              rootfs                 9780176   8060012   1223356  87% /
              /dev/root              9780176   8060012   1223356  87% /

Thank you,
Alan Davis

You can know the name of a bird in all the languages of the world,  but when
you're finished, you'll know absolutely nothing whatever about the bird...
So let's look at the bird and see what it's doing---that's what counts.

   ----Richard Feynman