[Bug 1219529] Re: df -x tmpfs fails to exclude udev (/dev)

[C de-Avillez]

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 at chatto:~$ mount | grep udev
udev on /dev type devtmpfs (rw,mode=0755)
hggdh at chatto:~$

and, then, 'df -x devtmpfs' works as expected:

hggdh at 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 at 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
Foundations Bugs, which is subscribed to coreutils in Ubuntu.
https://bugs.launchpad.net/bugs/1219529

Title:
  df -x tmpfs fails to exclude udev (/dev)

Status in “coreutils” package in Ubuntu:
  Incomplete

Bug description:
  The command:

  $ /bin/df -x tmpfs

  should exclude all filesystems of type tmpfs. The udev filesystem
  mounted at /dev is of this type:

  $ stat -f /dev
    File: "/dev"
      ID: 0        Namelen: 255     Type: tmpfs
  Block size: 4096       Fundamental block size: 4096
  Blocks: Total: 4109101    Free: 4109098    Available: 4109098
  Inodes: Total: 4109101    Free: 4108501

  However, df still displays this filesystem:

  $ df -l -x tmpfs
  Filesystem      1K-blocks      Used  Available Use% Mounted on
  ...
  udev             16436404        12   16436392   1% /dev
  ...

  ProblemType: Bug
  DistroRelease: Ubuntu 13.04
  Package: coreutils 8.20-3ubuntu5
  ProcVersionSignature: Ubuntu 3.8.0-29.42-generic 3.8.13.5
  Uname: Linux 3.8.0-29-generic x86_64
  ApportVersion: 2.9.2-0ubuntu8.3
  Architecture: amd64
  Date: Sun Sep  1 15:05:40 2013
  InstallationDate: Installed on 2013-08-31 (0 days ago)
  InstallationMedia: Ubuntu 13.04 "Raring Ringtail" - Release amd64 (20130424)
  MarkForUpload: True
  ProcEnviron:
   TERM=xterm
   PATH=(custom, no user)
   XDG_RUNTIME_DIR=<set>
   LANG=en_US.UTF-8
   SHELL=/bin/bash
  SourcePackage: coreutils
  UpgradeStatus: No upgrade log present (probably fresh install)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/coreutils/+bug/1219529/+subscriptions