Delete lines from huge file

Shell Programming and Scripting
1

I have to delete 1st 7000 lines of a file which is 12GB large. As it is so large, i can't open in vi and delete these lines. Also I found one post here which gave solution using perl, but I don't have perl installed. Also some solutions were redirecting the o/p to a different file and renaming it. But since the file is 12GB large, redirecting the other lines would take too long. Please provide a simple solution.

Thanks.
Rahul.

2

how about ex ?

ex filename
:1,7000 del
:wq

3

Hi Rahul,

Try this one
sed '1,7000d' filename > file1
mv file1 > filename ( if required the rest of things in file)

4

Another ways :

tail +7001 filename > temp_file && mv temp_file filename

awk 'NR>7000' filename > temp_file && mv temp_file filename

Jean-Pierre.