> I would do it with awk myself, Much depends on what you want to
> do to the 1000'th word on the line.

Say I really want to get there, so that I can manually edit the place.

Ruda

Reply via email to