bug#37702: Suggestion for 'df' utility

[Kamil Dudka]

On Sunday, May 31, 2020 2:49:24 PM CEST Pádraig Brady wrote:
> On 31/05/2020 10:36, Bernhard Voelker wrote:
> > What about to start with this?
> > 
> >    $ GIT_PAGER= git -C gnulib diff
> >    diff --git a/lib/mountlist.c b/lib/mountlist.c
> >    index 7abe0248e..5f6249dec 100644
> >    --- a/lib/mountlist.c
> >    +++ b/lib/mountlist.c
> >    @@ -164,6 +164,9 @@
> >    
> >     #define ME_DUMMY_0(Fs_name, Fs_type)            \
> >     
> >       (strcmp (Fs_type, "autofs") == 0              \
> >    
> >    +   || strcmp (Fs_type, "tmpfs") == 0            \
> 
> tmpfs is consumable, so wouldn't be appropriate to add I think

+1

No space left on a tmpfs file system mounted e.g. on /tmp is a common problem
that should be easily visible from the default output of df.

Kamil