I am reasonably new to python and am trying to read several lines of text from an open file. Typically in other languages I used to use code like: while not EOF() read_text_in ... How is this achieved with python ? Regards Pete