Re: Maximum buffer size exceeded

[Thien-Thi Nguyen]

Kin Cho <ignore-this-prefixkin@techie.com> writes:

> Otherwise, use grep -n to locate the line number(s) so you can
> use a combination of head and tail to extract the line(s).

most sed implementations can also select lines:

  sed 5,10!d FILE

should be equivalent to:

  tail +5 FILE | head -5

this saves a fork, i/o overhead, and the need to
compute the arg to `head'.  sed is your friend.

thi