| 1 |
On Wednesday 01 July 2009 19:03:34 Keith Dart wrote: |
| 2 |
> On Wed, 1 Jul 2009 15:47:52 +0100 |
| 3 |
> |
| 4 |
> Peter Humphrey <peter@××××××××××××××.org> wrote: |
| 5 |
> > I'm sure it used to work the way I want it to. I think I see insanity |
| 6 |
> > looming... |
| 7 |
> |
| 8 |
> On a side note, you might also want to investigate "sgrep", since |
| 9 |
> you're grepping inside html files. |
| 10 |
|
| 11 |
Thanks for the hint. I'm installing it now. Man grep didn't mention it in |
| 12 |
the "see also" section. Apropos didn't mention it either, since it wasn't |
| 13 |
installed at the time :-( |
| 14 |
|
| 15 |
-- |
| 16 |
Rgds |
| 17 |
Peter |
Archives