Thank you for opening this bug and helping make Ubuntu better. Indeed
'stat' states /dev is tmpfs.
But 'mount' gives out the type as 'devtmpfs' (!):
hggdh@chatto:~$ mount | grep udev
udev on /dev type devtmpfs (rw,mode=0755)
hggdh@chatto:~$
and, then, 'df -x devtmpfs' works as expected:
hggdh@chatto:~$ df -x devtmpfs
Filesystem 1K-blocks Used Available Use% Mounted on
/dev/vda 20511356 2518264 16944516 13% /
none 4 0 4 0% /sys/fs/cgroup
tmpfs 50300 232 50068 1% /run
none 5120 0 5120 0% /run/lock
none 251484 52 251432 1% /run/shm
none 102400 0 102400 0% /run/user
hggdh@chatto:~$
But 'info mount', or 'man mount' do not list 'devtmpfs' as a valid
system type. But 'devtmpfs' *is* a kernel-supported type...
I am not sure this is a coreutils issue per se; needs more research.
** Changed in: coreutils (Ubuntu)
Importance: Undecided => Low
** Changed in: coreutils (Ubuntu)
Status: New => Incomplete
** Tags added: saucy
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1219529
Title:
df -x tmpfs fails to exclude udev (/dev)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/coreutils/+bug/1219529/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
