|
From: | Pádraig Brady |
Subject: | Re: [PATCH v2] mountlist: additional dummy FS names for Linux |
Date: | Mon, 28 Jan 2013 18:01:37 +0000 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:13.0) Gecko/20120615 Thunderbird/13.0.1 |
On 01/28/2013 01:14 PM, Pádraig Brady wrote:
On 12/14/2012 04:17 AM, Jim Meyering wrote:If we're omitting "devfs", then should "devtmpfs" also be omitted?I don't think "devtmpfs" should be marked as dummy as there is storage associated with it. I.E. you can write normal files to /dev and space will be consumed. Note df already excludes most dummy file systems by default by checking the size like: if (fsu.fsu_blocks == 0 && !show_all_fs && !show_listed_fs) return;
I'll apply the attached in a while unless there are objections. thanks, Pádraig.
df-devtmpfs.patch
Description: Text Data
[Prev in Thread] | Current Thread | [Next in Thread] |