[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#15257: stat and df report different filesystems for /dev
From: |
Assaf Gordon |
Subject: |
bug#15257: stat and df report different filesystems for /dev |
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 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#15257: stat and df report different filesystems for /dev,
Assaf Gordon <=