bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


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.

Attachment: df-devtmpfs.patch
Description: Text Data


reply via email to

[Prev in Thread] Current Thread [Next in Thread]