how to count lines in a file ?

[Fredrik Lundh]

Alex Martelli wrote:

> > (does anyone here even know that readline takes an optional
> > integer argument, and what it does? ;-)
>
> I would hope so, given that
> http://www.python.org/doc/current/lib/bltin-file-objects.html
> documents it so clearly.

does anyone here think that when I asked that question, I did
that because I didn't know, and wanted someone to look it up
for me? ;-)

</F>