From unknown Mon Aug 11 21:13:35 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#15257 <15257@debbugs.gnu.org> To: bug#15257 <15257@debbugs.gnu.org> Subject: Status: stat and df report different filesystems for /dev Reply-To: bug#15257 <15257@debbugs.gnu.org> Date: Tue, 12 Aug 2025 04:13:35 +0000 retitle 15257 stat and df report different filesystems for /dev reassign 15257 coreutils submitter 15257 C de-Avillez severity 15257 wishlist tag 15257 wontfix thanks From debbugs-submit-bounces@debbugs.gnu.org Tue Sep 03 09:51:08 2013 Received: (at submit) by debbugs.gnu.org; 3 Sep 2013 13:51:09 +0000 Received: from localhost ([127.0.0.1]:38694 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VGr0d-0005X2-PY for submit@debbugs.gnu.org; Tue, 03 Sep 2013 09:51:08 -0400 Received: from eggs.gnu.org ([208.118.235.92]:43269) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VGr0a-0005WV-KE for submit@debbugs.gnu.org; Tue, 03 Sep 2013 09:51:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VGr0T-0005ZX-Qy for submit@debbugs.gnu.org; Tue, 03 Sep 2013 09:50:59 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_50, FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,HTML_MESSAGE,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:59453) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VGr0T-0005ZS-LW for submit@debbugs.gnu.org; Tue, 03 Sep 2013 09:50:57 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:44930) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VGr0O-0000sC-Uj for bug-coreutils@gnu.org; Tue, 03 Sep 2013 09:50:57 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VGr0I-0005WR-CW for bug-coreutils@gnu.org; Tue, 03 Sep 2013 09:50:52 -0400 Received: from mail-pd0-x22e.google.com ([2607:f8b0:400e:c02::22e]:37840) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VGr0H-0005Vh-LP for bug-coreutils@gnu.org; Tue, 03 Sep 2013 09:50:46 -0400 Received: by mail-pd0-f174.google.com with SMTP id y13so6030971pdi.19 for ; Tue, 03 Sep 2013 06:50:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:date:message-id:subject:from:to:content-type; bh=vgdLUJhQqX2OpWK1Am21BFmQgr1rURE1P1HgHXd9drI=; b=wZftlCT+x9lDR52wivE7tS+xggY2EzT/BzCXNyeYcRSr3o3KpahfVMBGYukeCEr0uf a1lkV5bZZLQeTv//mvjv5tWWdPS8hr7XIKcEJMt6izsCK21EfXy7Q6vW6c0PZTr/iBqq pTAYrXbb0p6GtcGoV/AssyFSbyq5SrJYBz4nJTvYiV/UelFf7hhQyjr15Hklm3fN2qP4 spii/O3GttQMWx9TlakqAqv2bOEsW9QXd0ZVZdMWnWSiLdPDvBx42e5AdwgWwTBjUMEc u81z0KqRfKVfhGAMRbr4J4WSTYoM1upTtODqr6FyUGWMmT4iv7l+jefAMCOE4QwLik8p romA== MIME-Version: 1.0 X-Received: by 10.68.244.168 with SMTP id xh8mr31028480pbc.3.1378216244179; Tue, 03 Sep 2013 06:50:44 -0700 (PDT) Received: by 10.68.31.199 with HTTP; Tue, 3 Sep 2013 06:50:43 -0700 (PDT) Date: Tue, 3 Sep 2013 08:50:43 -0500 X-Google-Sender-Auth: se0pwy9HWfZcCI82VTy3UyZfWHc Message-ID: Subject: stat and df report different filesystems for /dev From: C de-Avillez To: bug-coreutils@gnu.org Content-Type: multipart/alternative; boundary=047d7b16348da8795f04e57af93d X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -2.1 (--) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.1 (--) --047d7b16348da8795f04e57af93d Content-Type: text/plain; charset=ISO-8859-1 original Ubuntu bug: https://bugs.launchpad.net/bugs/1219529 Tested on linux 3.11.RC7 and 3.8.8, coreutils 8.20 and 8.21 When trying to use 'df -x tmpfs', /dev is still shown: hggdh@chatto:~$ df -x tmpfs | grep udev udev 247532 8 247524 1% /dev But 'stat' reports the filesystem as 'tmpfs': hggdh@chatto:~$ stat -f /dev File: "/dev" ID: 0 Namelen: 255 Type: tmpfs Block size: 4096 Fundamental block size: 4096 Blocks: Total: 61883 Free: 61881 Available: 61881 Inodes: Total: 61883 Free: 61479 This seems to happen because -- really -- the type is 'devtmpfs': hggdh@chatto:~$ mount | grep udev udev on /dev type devtmpfs (rw,mode=0755) And, indeed, running 'df -x devtmpfs' works: hggdh@chatto:~$ df -x devtmpfs Filesystem 1K-blocks Used Available Use% Mounted on /dev/vda 20511356 2518320 16944460 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 I feel this is incorrect: even though 'info mount' does not list devtmpfs as a possible FS type (which might be another bug in itself, but outside coreutils), at least 'stat' and 'df' should be consistent on their output. Cheers, -- ..hggdh.. --047d7b16348da8795f04e57af93d Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
original Ubuntu bug:=A0https://bugs.launchpad.net/bugs/1219529

=
Tested on linux 3.11.RC7 and 3.8.8, coreutils 8.20 and 8.21
=
When trying to use 'df -x tmpfs', /dev is still shown:

hggdh@chatto:~$ df -x tmpfs | grep udev
<= div>udev =A0 =A0 =A0 =A0 =A0 =A0 =A0247532 =A0 =A0 =A0 8 =A0 =A0247524 =A0 = 1% /dev

But 'stat' reports the filesystem as 'tmpfs':

hggdh@chatto:~$ stat -f /dev
=A0 File= : "/dev"
=A0 =A0 ID: 0 =A0 =A0 =A0 =A0Namelen: 255 =A0 = =A0 Type: tmpfs
Block size: 4096 =A0 =A0 =A0 Fundamental block size: 4096
Bl= ocks: Total: 61883 =A0 =A0 =A0Free: 61881 =A0 =A0 =A0Available: 61881
=
Inodes: Total: 61883 =A0 =A0 =A0Free: 61479

=
This seems to happen because -- really -- the type is 'devtmpfs= 9;:

hggdh@chatto:~$ mount | grep udev
udev o= n /dev type devtmpfs (rw,mode=3D0755)

And, i= ndeed, running 'df -x devtmpfs' works:

hggdh@chatto:~$ df -x devtmpfs
Filesystem =A0 =A0 1K-blocks =A0 = =A0Used Available Use% Mounted on
/dev/vda =A0 =A0 =A0 =A02051135= 6 2518320 =A016944460 =A013% /
none =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 =A0 4 =A0 =A0 =A0 0 =A0 =A0 =A0 =A0 4 =A0 0% /sys/fs/cgroup
tmpfs =A0 =A0 =A0 =A0 =A0 =A0 =A050300 =A0 =A0 232 =A0 =A0 50068 =A0 1= % /run
none =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A05120 =A0 =A0 =A0 0 =A0= =A0 =A05120 =A0 0% /run/lock
none =A0 =A0 =A0 =A0 =A0 =A0 =A0251= 484 =A0 =A0 =A052 =A0 =A0251432 =A0 1% /run/shm
none =A0 =A0 =A0 = =A0 =A0 =A0 =A0102400 =A0 =A0 =A0 0 =A0 =A0102400 =A0 0% /run/user

I feel this is incorrect: even though 'info m= ount' does not list devtmpfs as a possible FS type (which might be anot= her bug in itself, but outside coreutils), at least 'stat' and '= ;df' should be consistent on their output.

Cheers,

--
..hggdh..
--047d7b16348da8795f04e57af93d-- From debbugs-submit-bounces@debbugs.gnu.org Fri Jul 11 05:32:03 2014 Received: (at 15257) by debbugs.gnu.org; 11 Jul 2014 09:32:03 +0000 Received: from localhost ([127.0.0.1]:53008 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1X5XBP-0007mG-2S for submit@debbugs.gnu.org; Fri, 11 Jul 2014 05:32:03 -0400 Received: from mail3.vodafone.ie ([213.233.128.45]:59166) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1X5XBI-0007lu-NV for 15257@debbugs.gnu.org; Fri, 11 Jul 2014 05:31:56 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApQBAKiuv1NtTEBb/2dsb2JhbAANTINgwUiHRgGBIYR4AQEBBDIBRhALDQsJFg8JAwIBAgFFBg0BBwEBiEMIrFeZfRMEjAeDPweEQwEEokCQJQ Received: from unknown (HELO [192.168.1.79]) ([109.76.64.91]) by mail3.vodafone.ie with ESMTP; 11 Jul 2014 10:31:45 +0100 Message-ID: <53BFAEF2.2070609@draigBrady.com> Date: Fri, 11 Jul 2014 10:31:30 +0100 From: =?ISO-8859-1?Q?P=E1draig_Brady?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130110 Thunderbird/17.0.2 MIME-Version: 1.0 To: C de-Avillez Subject: Re: bug#15257: stat and df report different filesystems for /dev References: In-Reply-To: X-Enigmail-Version: 1.6 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 15257 Cc: 15257@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) On 09/03/2013 02:50 PM, C de-Avillez wrote: > original Ubuntu bug: https://bugs.launchpad.net/bugs/1219529 > > Tested on linux 3.11.RC7 and 3.8.8, coreutils 8.20 and 8.21 > > When trying to use 'df -x tmpfs', /dev is still shown: > > hggdh@chatto:~$ df -x tmpfs | grep udev > udev 247532 8 247524 1% /dev > > But 'stat' reports the filesystem as 'tmpfs': > > hggdh@chatto:~$ stat -f /dev > File: "/dev" > ID: 0 Namelen: 255 Type: tmpfs > Block size: 4096 Fundamental block size: 4096 > Blocks: Total: 61883 Free: 61881 Available: 61881 > Inodes: Total: 61883 Free: 61479 > > This seems to happen because -- really -- the type is 'devtmpfs': > > hggdh@chatto:~$ mount | grep udev > udev on /dev type devtmpfs (rw,mode=0755) > > And, indeed, running 'df -x devtmpfs' works: > > hggdh@chatto:~$ df -x devtmpfs > Filesystem 1K-blocks Used Available Use% Mounted on > /dev/vda 20511356 2518320 16944460 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 > > I feel this is incorrect: even though 'info mount' does not list devtmpfs > as a possible FS type (which might be another bug in itself, but outside > coreutils), at least 'stat' and 'df' should be consistent on their output. This is awkward but I'm not sure if there is anything coreutils can do. The "mount level" type is "devtmpfs", while the underlying implementation is "tmpfs" in your case, or it could be "ramfs" on some setups. `stat` is just displaying the underlying file system type as indicated by the kernel. thanks, Pádraig. From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 19 18:46:18 2018 Received: (at 15257) by debbugs.gnu.org; 19 Oct 2018 22:46:18 +0000 Received: from localhost ([127.0.0.1]:59946 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gDdX8-00021M-Kk for submit@debbugs.gnu.org; Fri, 19 Oct 2018 18:46:18 -0400 Received: from mail-pf1-f182.google.com ([209.85.210.182]:42799) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gDdX6-000213-25; Fri, 19 Oct 2018 18:46:16 -0400 Received: by mail-pf1-f182.google.com with SMTP id f26-v6so17084799pfn.9; Fri, 19 Oct 2018 15:46:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-language:content-transfer-encoding; bh=HVnBGB0bURwYXUCBJG/azlYcI7y+5aWxqiKEtWgSMAE=; b=oOG8O6ot/jMGT28fOHgRl3sXQREmj8w+WrjVMbVurbeMTsgKOEQ+gA1LhzOhvt8neW 0N0KgkrEcPnbgjZbToXpgdz1GABMYep/f5OXL9tSnCWq+gmsRIPhlpKrp8nLBGKN4awv SDhjb3UgtCGNTOXxgAye261RmgOpJztNfltXCJ9+yg1FOYIWxxQ7f47K0Vjw7fX0nbXv c31meb7ZRR/Wh2bhDFtFzlhuKQA7UCKQxX20Ez54S7dCMtkw0B/nuFPvU3g4ijFFfmiW 5fhZ3mQ2x2DBGpkO/6TsyJtq+e0+4JmJu17SU/EefNWir5YmZX5wzUiRP9hN3PpeszkL yA9Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=HVnBGB0bURwYXUCBJG/azlYcI7y+5aWxqiKEtWgSMAE=; b=i9916ITDOEaWIbjJN7Wrlw/9thgLeZRKsEQmdhHzGLjFhm2Yvthw4PjPDYeBO600TJ JRj7Na0nUBG7gst8JHQ3rjSpznl+jclOISQCFefK+jfAfernlfcuQI5wwjt/5tIuF5m9 elZ2lMzbGg53EDULeROq0toUeeGukQLa1cGYL8vlz46j4dhaaFHShW3lHS98PveqRn0E 5QL4D6TU2agSQgBKG5zhefYeDnHvZEufvsaKEeX45irF+3EWyxDswEZk7ba4aQSJDWjo o9I21+KeWGyCUVfA/Xvx4uifVupBMlqoxUpGaNok24pBC10v+nzYhyOFxWDMPpUPLiaZ YY8g== X-Gm-Message-State: ABuFfoh6aimIMUrhQOB0QC6haCYz/TNb5Bcw8vk8pNMVyF3ZaX+oxkzU aWJiyQe6sVqmyDCWCGm2M2oHtLnfA/0= X-Google-Smtp-Source: ACcGV63BdtlOaROrod+RoWaNcZDcceTIfNXJEXJ/Dxln8NCUnmuEefTR0TvYyd3OM7DVbQ82kRgz3g== X-Received: by 2002:a62:2606:: with SMTP id m6-v6mr36216642pfm.104.1539989169448; Fri, 19 Oct 2018 15:46:09 -0700 (PDT) Received: from tomato.housegordon.com (moose.housegordon.com. [184.68.105.38]) by smtp.googlemail.com with ESMTPSA id r81-v6sm41799375pfa.110.2018.10.19.15.46.07 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 19 Oct 2018 15:46:07 -0700 (PDT) Subject: Re: bug#15257: stat and df report different filesystems for /dev To: 15257@debbugs.gnu.org References: <53BFAEF2.2070609@draigBrady.com> From: Assaf Gordon Message-ID: <93d0bd69-01d7-c55a-790f-d4f76dcfde59@gmail.com> Date: Fri, 19 Oct 2018 16:46:06 -0600 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 In-Reply-To: <53BFAEF2.2070609@draigBrady.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 15257 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) severity 15257 wishlist tags 15257 wontfix close 15257 stop (triaging old bugs) Hello, On 11/07/14 03:31 AM, Pádraig Brady wrote: > On 09/03/2013 02:50 PM, C de-Avillez wrote: >> original Ubuntu bug: https://bugs.launchpad.net/bugs/1219529 >> >> When trying to use 'df -x tmpfs', /dev is still shown: >> [...] > This is awkward but I'm not sure if there is anything coreutils can do. > The "mount level" type is "devtmpfs", while the underlying implementation > is "tmpfs" in your case, or it could be "ramfs" on some setups. Given the above, and with no further follow-ups in 5 years, I'm closing this as "wontfix". Discussion can continue by replying to this thread. -assaf From unknown Mon Aug 11 21:13:35 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 17 Nov 2018 12:24:06 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator