On 01/28/2013 02:05 PM, Pádraig Brady wrote: >> Therefore, I'm inclined to make df handle rootfs like any other >> dummy FS and remove the special treatment as shown in the attachment. >> WDYT? > > Yes I agree this is better and more consistent. > > It's a bit weird though that `df -t devtmpfs` won't show > a devtmpfs file system unless -a is specified. > Maybe -t should imply -a?
Maybe yes, although that would circumvent the de-duplication. For dummy file systems, this would help, i.e. it would save the user adding -a, but for regular file systems, this would mean that all bind mounts appear again: Example: /dev/sda3 is mounted twice (the latter "ro" ;-) $ src/df -a --out=source,fstype,target | grep sda3 /dev/sda3 ext3 /root/backup /dev/sda3 ext3 /media/backup Currently, df -t ext3 only shows 1 mount entry ... $ src/df -t ext3 --out=source,fstype,target | grep sda3 /dev/sda3 ext3 /root/backup ... while with the above mentioned change, it would result in: $ src/df -t ext3 --out=source,fstype,target | grep sda3 /dev/sda3 ext3 /root/backup /dev/sda3 ext3 /media/backup I'm 40:60 to go this way, because otherwise, there's no means (i.e. option) to turn on the de-duplication again). (A more fine-grained alternative would maybe be possible in get_dev.) Have a nice day, Berny
