[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [feature request] Colouring matches in --result=grep outputs
From: |
Jason Hood |
Subject: |
Re: [feature request] Colouring matches in --result=grep outputs |
Date: |
Thu, 11 Jul 2013 11:56:57 +1000 |
User-agent: |
Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130307 Thunderbird/17.0.4 |
On 11/07/2013 10:02, Shigio YAMAGUCHI wrote:
> It seems that POSIX grep has '--extended-regexp' option.
> Is there any problem if I use the same option instead of '--ext-regexp'?
Not at all, I just wanted to save some typing. :) (If I had have thought
to check grep, I would have used it in the first place.)
> [GTAGSTHROUGH]
> I would like to announce 'GTAGSTHROUGH is deprecated' and remove it about
> one year after so that users might not be surprised.
I have mixed feelings about deprecated features: on the one hand, it's
nice to have a bit of leeway; on the other, it's going to be removed
anyway, so get it over with. Anyway, I've put it back, but shifted it
to the top, so it can be overridden.
--
Jason.
color3.txt
Description: Text document
- Re: [feature request] Colouring matches in --result=grep outputs, (continued)
- Re: [feature request] Colouring matches in --result=grep outputs, Shigio YAMAGUCHI, 2013/07/03
- Re: [feature request] Colouring matches in --result=grep outputs, Jason Hood, 2013/07/04
- Re: [feature request] Colouring matches in --result=grep outputs, Shigio YAMAGUCHI, 2013/07/05
- Re: [feature request] Colouring matches in --result=grep outputs, Shigio YAMAGUCHI, 2013/07/05
- Re: [feature request] Colouring matches in --result=grep outputs, Jason Hood, 2013/07/05
- Re: [feature request] Colouring matches in --result=grep outputs, Shigio YAMAGUCHI, 2013/07/05
- Re: [feature request] Colouring matches in --result=grep outputs, Jason Hood, 2013/07/09
- Re: [feature request] Colouring matches in --result=grep outputs, Shigio YAMAGUCHI, 2013/07/09
- Re: [feature request] Colouring matches in --result=grep outputs, Jason Hood, 2013/07/10
- Re: [feature request] Colouring matches in --result=grep outputs, Shigio YAMAGUCHI, 2013/07/10
- Re: [feature request] Colouring matches in --result=grep outputs,
Jason Hood <=