GNU bug report logs - #15257
stat and df report different filesystems for /dev

Previous Next

Full log

Message #11 received at 15257 <at> debbugs.gnu.org (full text, mbox):

From: Assaf Gordon <assafgordon <at> gmail.com>
To: 15257 <at> debbugs.gnu.org
Subject: Re: bug#15257: stat and df report different filesystems for /dev
Date: Fri, 19 Oct 2018 16:46:06 -0600

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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.