in reply to Re: Grepping surrounding lines, is this redundant?in thread Grepping surrounding lines, is this redundant?