[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2] mountlist: additional dummy FS names for Linux
From: |
Jim Meyering |
Subject: |
Re: [PATCH v2] mountlist: additional dummy FS names for Linux |
Date: |
Tue, 29 Jan 2013 15:30:49 +0100 |
Pádraig Brady wrote:
> 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.
Looks good. Thank you!