Subject: Re: bug#15257: stat and df report different filesystems for /dev

From: Assaf Gordon <[email-masked]>
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