Sorry if it was mentioned already (and not to discourage the OP, of
course), but what’s wrong with “grep -i”? Isn’t it case-insensitive
enough? 
Gennady.
Gennady B. [email protected] wrote:
Sorry if it was mentioned already (and not to discourage the OP, of
course), but what’s wrong with “grep -i”? Isn’t it case-insensitive
enough?
There’s always glark [glark.sourceforge.net]
martin