On Wednesday 01 July 2009 19:03:34 Keith Dart wrote: > On Wed, 1 Jul 2009 15:47:52 +0100 > > Peter Humphrey <[email protected]> wrote: > > I'm sure it used to work the way I want it to. I think I see insanity > > looming... > > On a side note, you might also want to investigate "sgrep", since > you're grepping inside html files.
Thanks for the hint. I'm installing it now. Man grep didn't mention it in the "see also" section. Apropos didn't mention it either, since it wasn't installed at the time :-( -- Rgds Peter

