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

Previous Next

Full log

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

From: Drew Adams <drew.adams <at> oracle.com>
To: Juri Linkov <juri <at> linkov.net>
Cc: 30397 <at> debbugs.gnu.org, Noam Postavsky <npostavs <at> users.sourceforge.net>
Subject: RE: bug#30397: Random numbers in grep mode-line
Date: Sun, 11 Feb 2018 20:54:52 -0800 (PST)

> > Is the total number of lines (in the search space) also
> > available?  If so, would that be useful?  Maybe something
> > like this?
> >
> > Grep finished at Thu Jul 21 15:02:15 - 42 matches in 5/113 lines
> >                                                       ^^^^
> 
> Unfortunately the total number of lines is not available.
> There is even problems with getting the right number of matches.
> When grep doesn't highlight matches, we can't count them.

In that case, the explanation/description should say that
it is the number of matches highlighted, not the number
of matches.

> Another problem is that grep matches to be printed at the end of the
> grep buffer can't be counted in grep-regexp-alist because it is
> based on font-lock which is invoked at unpredictable times
> when grep process is already finished.  This leaves only one way
> to count matches in grep-filter in this patch.
> 
> For the same reason, printing the number of compilation errors at
> the end of the compilation buffer can't be implemented for bug#13417.

If the numbers shown depend on font-lock and are not
necessarily accurate then the doc should make that
clear.

Previous Next

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