20.04's coreutils still has the behavior described in this bug. /dev is listed as type 'udev' by df but df -x udev does not exclude it; df -x devtmpfs does.
I wonder if one way to at least resolve the confusion might be to make the code that prints the table display devtmpfs devices as 'devtmpfs'. An obvious alternative would be to make '-x udev' be handled like '-x udev -x devtmpfs'. Another alternative would be to overload '-x tmpfs' to exclude also udev and devtmpfs. It's not clear what the best solution would be. -- 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/coreutils/+bug/1219529/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs