[Nottingham] Slow bash-ings for file line search

[Martin]

Folks,

To tap into the collective intelligence andknowledge of arcanery -


What's faster in bash than this:

( echo "$ll" | grep "$s1" >/dev/null ) &&


I'm copying a text file line-by-line and wish to identify certain lines 
to conditionally modify. (Hence why not sed or grep.)

What I'd like is something like:

dummy="${ll#$s1}"
[ "$?" ] &&


Any ideas to get a speedup?

Cheers,
Martin

-- 
----------------
Martin Lomas
martin at ml1.co.uk
----------------