Re: [Numpy-discussion] Grepping the source

[Magnus L. H. <ma...@he...>]

Edward C. Jones <edc...@er...>:
[snip]
>     lines = f.read().splitlines()

You could use f.readlines() here... Or you could just use

  for line in open(...):

later, if you're using Python 2.2+

-- 
Magnus Lie Hetland
http://hetland.org