On Jun 17, 3:10 am, Patrick David <[EMAIL PROTECTED]>
wrote:
>
> I am searching for a way to jump to a specific line in a text file, let's
> say to line no. 9000.
> Is there any method like file.seek() which leads me to a given line instead
> of a given byte?
>
As others have said, no. But if you'
Patrick David wrote:
Hello NG,
I am searching for a way to jump to a specific line in a text file, let's
say to line no. 9000.
Is there any method like file.seek() which leads me to a given line instead
of a given byte?
Hope for help
Patrick
Others have given the general answer (No), but if y
On Jun 17, 10:46 pm, Hrvoje Niksic <[EMAIL PROTECTED]> wrote:
> Patrick David <[EMAIL PROTECTED]> writes:
> > I am searching for a way to jump to a specific line in a text file,
> > let's say to line no. 9000. Is there any method like file.seek()
> > which leads me to a given line instead of a giv
Patrick David <[EMAIL PROTECTED]> writes:
> I am searching for a way to jump to a specific line in a text file,
> let's say to line no. 9000. Is there any method like file.seek()
> which leads me to a given line instead of a given byte?
You can simulate it fairly easily, but it will internally r
On Jun 17, 8:10 pm, Patrick David <[EMAIL PROTECTED]>
wrote:
> Hello NG,
>
> I am searching for a way to jump to a specific line in a text file, let's
> say to line no. 9000.
> Is there any method like file.seek() which leads me to a given line instead
> of a given byte?
If by "jump" you mean with
