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!