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