GNU bug report logs - #44273
"total used in directory 19 available 5.2 GiB"

Previous Next

Full log

Message #112 received at 44273 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Richard Stallman <rms <at> gnu.org>
Cc: 44273 <at> debbugs.gnu.org, Dan Jacobson <jidanni <at> jidanni.org>
Subject: Re: bug#44273: "total used in directory 19 available 5.2 GiB"
Date: Fri, 30 Oct 2020 13:22:24 +0100

Richard Stallman <rms <at> gnu.org> writes:

> Because some people find it useful.

Do you have data to back that up?  :-)

> If we want that line to look different, it would be easy
> for Dired to edit it after reading it from ls.  But we
> should not delete the  data in it.
>
> If you don't want that line, you could customize your Dired to delete
> it.

My suggestion is to not display the line by default.  People who do find
it useful can switch it on (but I doubt they exist in large numbers).

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.