[Tutor] file question

[jpollack at socrates.Berkeley.EDU]

Hi everyone,

Is there a way to pull a specific line from a file without reading the
whole thing into memory with .readlines()?

I have a monstrous text file, but I can easily figure out the index
numbers of the particular line I need without having to read the whole
thing in?  Is there a quick way to do this?

I couldn't find anything in documentation specifically addressing this.


Thanks!
Joshua Pollack