On Sun, Aug 24, 2025 at 05:58:21PM -0700, Collin Funk wrote: > Thank you for offering to file one, but it isn't a bug.
Doh! I need to drink more coffee - of course I know that the first column is the device name/filesystem, sigh :-( > It is based on the file system type. The type of udev is devtmpfs. See > the following output: > > $ df -T 2>/dev/null | grep -E '^(Filesystem|udev)' > Filesystem Type 1K-blocks Used Available Use% > Mounted on > udev devtmpfs 3807792 0 3807792 0% /dev > > I think the command you want is: > > $ df -x devtmpfs 2>/dev/null | grep -E '^(Filesystem|udev)' > Filesystem 1K-blocks Used Available Use% Mounted on > > Collin -- Alain Williams Linux/GNU Consultant - Mail systems, Web sites, Networking, Programmer, IT Lecturer. +44 (0) 787 668 0256 https://www.phcomp.co.uk/ Parliament Hill Computers. Registration Information: https://www.phcomp.co.uk/Contact.html #include <std_disclaimer.h>
