Re: [PATCH v2] mountlist: additional dummy FS names for Linux

[Jim Meyering]

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!