Re: DF (coreutils) - bug??

[Paul Eggert]

Please try running the shell command "strace df /mount/250Gb" and
inspecting the output.  You might see a line that looks like this:

statfs("/", {f_type="EXT2_SUPER_MAGIC", f_bsize=4096, f_blocks=18562152, 
f_bfree=12308409, f_bavail=11365495, f_files=9437184, f_ffree=8328361, 
f_fsid={0, 0}, f_namelen=255, f_frsize=0}) = 0

or it might look different, depending on your file system.

The fact that dmesg, hdparm, fdisk, etc. report different values is
suggestive, but it doesn't mean that df has a bug.  These other
programs don't look at file systems; they look at disks and disk
partitions, which are different animals.