I apologize for the confusion---df is properly reporting the filesystem usage, but the wrong device! In the above example df -P /mnt/infinit properly reports the number of blocks, total, used, and available, but reports that the device is /dev/discs/disc0/part3, when it is in fact /dev/discs/disc0/part4. The other thread I referenced didn't like the fact that it reports the device with the wrong information---I don't like the fact that when using the format df <file>, the filesystem reported is not the proper one. (Though I agree the stats are.)??? This is what df is doing. And there is no way to get the attributes of the hidden mount point, since it is, in fact, hidden. That becomes more apparent if you mount over a directory that has another mountpoint in some subdirectory. The other mountpoint is simply not reachable any more.
Wow---confusing, and I'm sorry for that. Can anyone else word it in a way that makes more sense?
CDJ
-- Christian Jones [EMAIL PROTECTED] http://www.aleph0.com/~chjones
_______________________________________________ Bug-coreutils mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-coreutils
