GNU bug report logs - #30397
Random numbers in grep mode-line

Previous Next

Full log

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

From: Juri Linkov <juri <at> linkov.net>
To: Noam Postavsky <npostavs <at> users.sourceforge.net>
Cc: 30397 <at> debbugs.gnu.org
Subject: Re: bug#30397: Random numbers in grep mode-line
Date: Sat, 10 Feb 2018 23:32:44 +0200

>> What was the goal of this feature and where it is documented?
>
> `(emacs) Compilation' (and similar in etc/NEWS):
>
>       While compilation proceeds, the mode line is updated to show the
>     number of errors, warnings, and informational messages that have been
>     seen so far.
>
> Perhaps it needs some adjustment for grep.
>
> Original report: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25354

Yes, some adjustment is needed for grep.  That reminded me
about two unclosed feature requests: bug#13417 and bug#14017
that proposed to display these numbers also at the bottom of
output buffers.  But the showstopper was to decide on the
final format of such messages.  Although this looks good:

  Grep finished with 42 matches in 5 lines at Thu Jul 21 15:02:15

Than the mode-line will display two numbers: the number of matches
and the number of matching lines (in green).

Previous Next

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