df broken in FC3?

[Corey Kovacs]

I just noticed the behavior of df on my FC3 machine which is quite strange. The output of df on my machine is as follows...


Filesystem           1K-blocks      Used Available Use% Mounted on
/dev/hdb2              6048352   2672800   3068312  47% /
none                    257888         0    257888   0% /dev/shm

here is df -a
df -a
Filesystem           1K-blocks      Used Available Use% Mounted on
/dev/hdb2              6048352   2672796   3068316  47% /
none                         0         0         0   -  /proc
none                         0         0         0   -  /sys
none                         0         0         0   -  /dev/pts
usbfs                        0         0         0   -  /proc/bus/usb
none                         0         0         0   -  /proc/sys/fs/binfmt_misc
sunrpc                       0         0         0   -  /var/lib/nfs/rpc_pipefs
none                    257888         0    257888   0% /dev/shm



Here is /etc/fstab

 cat /etc/fstab
# This file is edited by fstab-sync - see 'man fstab-sync' for details
LABEL=/                 /                       ext3    defaults        1 1
LABEL=BOOT              /boot                   ext2    defaults        1 2
none                    /dev/pts                devpts  gid=5,mode=620  0 0
none                    /dev/shm                tmpfs   defaults        0 0
none                    /proc                   proc    defaults        0 0
none                    /sys                    sysfs   defaults        0 0
LABEL=/tmp              /tmp                    ext3    defaults        1 2
LABEL=/usr              /usr                    ext3    defaults        1 2
LABEL=/var              /var                    ext3    defaults        1 2
LABEL=/opt              /opt                    ext3    defaults        1 2
/dev/hda3               swap                    swap    defaults        0 0
/dev/hdb3               swap                    swap    defaults        0 0
none                    /proc/bus/usb           usbfs   defaults        0   0
/dev/hdc                /media/cdrecorder       auto    pamconsole,exec,noauto,managed 0 0
/dev/fd0                /media/floppy           auto    pamconsole,exec,noauto,managed 0 0


Clearly there is a lot more mounted than simply "/"


Am I missing something, or is df broken?


Corey