[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using grep (or some other tool) to highlight, instead of grepping?
|
From: |
Ralf Wildenhues |
|
Subject: |
Re: Using grep (or some other tool) to highlight, instead of grepping? |
|
Date: |
Fri, 15 Aug 2008 06:02:43 +0200 |
|
User-agent: |
Mutt/1.5.18 (2008-05-17) |
* Ralf Wildenhues wrote on Fri, Aug 15, 2008 at 05:48:23AM CEST:
>
> I guess if you translate your basic regex into an extended one, then you
> should be able to use egrep/grep -E, and also match end-of-line:
> grep -E --color=auto 'foo|$'
Erm, or just
grep --color=auto -e foo -e '$'
> Hmm. Using ^ instead of $ destroys the coloring, that looks like a bug
> (Debian package grep-2.5.1.ds2-6).
Seems to have been fixed since upstream.
Cheers,
Ralf