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

Previous Next

Full log

Message #35 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>, 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 14:01:38 -0800 (PST)

> 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).

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 
                                                      ^^^^

Previous Next

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