Easy way to copy lines from one file to another [duplicate]

Question

Possible Duplicate:
cat line X to line Y on a huge file

Very simple issue but can't seem to find a simple resolution!

I have a massive text file from which I only need around 150 lines. The lines are really long and therefore viewing it in putty is a bit of a nightmare. I just want to copy these lines to another file so that I can view it properly in an editor. (I can't view the original file in an editor as my Windows machine can't handle it).

The lines I want start at around line 2000.

Thanks,

Answer 1

I have an easy shell function for it (put in .bashrc), which uses sed

printLine () 
{ 
    sed -n -e "$1p" "$2"
}

You can easily use it by

$ printLine 2000,2250 file

I am using the function, because I always forget the correct sed-syntax.

You want to store the output in a different file, than it is easy:

$ printLine 2000,2250 file > output

Answer 2

If you just look for a certain token, the grep command could be useful.

cat filename | grep pattern > extractedFilename