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

[Assaf Gordon]

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