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: Jim Meyering
Subject: Re: [PATCH v2] mountlist: additional dummy FS names for Linux
Date: Sat, 15 Dec 2012 21:32:45 +0100

Eric Wong wrote:
> Jim Meyering <address@hidden> wrote:
>> Thanks.  I've tweaked the log and added a matching ChangeLog entry.
>> Testing via df on my F18 laptop, diff -u <(src/df-prev) <(src/df)
>> shows no difference.  What do people think of this entry from
>> that F18 system?
>>
>>     devtmpfs         1538304        0   1538304   0% /dev
>>
>> If we're omitting "devfs", then should "devtmpfs" also be omitted?
>
> Yes, I believe devtmpfs should be omitted.  I never noticed the
> kernel option for it until now :x
>
> Since I've been playing with SystemTap, I've also noticed "debugfs"
> on some systems.
>
> Here is an updated patch with debugfs and devtmpfs:
>
>>From b0904cbd02932009e0b9de568ce4742d27a18e78 Mon Sep 17 00:00:00 2001
> From: Eric Wong <address@hidden>
> Date: Fri, 7 Dec 2012 23:14:34 +0000
> Subject: [PATCH] mountlist: recognize more "dummy" file systems
>
> * lib/mountlist.c (ME_DUMMY_0):
>   Add these dummy FS names to the list:
>   - "debugfs" virtual filesystem for kernel debugging
>   - "devpts" PTY slave filesystem
>   - "devtmpfs" device filesystem on top of tmpfs/ramfs
>   - "fusectl" control filesystem for FUSE
>   - "mqueue" enumerates POSIX message queues
>   - "rpc_pipefs" kernel <-> userspace bridge for NFS
>   - "sysfs" is for exporting kernel objects
>   - "devfs" device filesystem for Linux 2.4 and FreeBSD

Thanks.  Pushed.



reply via email to

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