I have i file that contains 100000 line how i can get the lines from line# 5555 to line# 7777 under linux.
Thanks for all.
I have i file that contains 100000 line how i can get the lines from line# 5555 to line# 7777 under linux.
Thanks for all.
sed '5555,7777!d' <filename>
This will print lines 5555-7777 of the file inclusively.
Dennis Posted the following which I agree should be faster:
sed '5555,7777p; 7778q' filename
The following evidence that it should be faster:
$ n=1
$ while [[ n -le 100000 ]]; do echo $n >> sedtest2; n=$((n + 1)); done
$ strace -e trace=read -o sed1 sed '5555,7777!d' sedtest2
$ strace -e trace=read -o sed2 sed '5555,7777p; 7778q' sedtest2
$ wc -l sed1
149 sed1
$ wc -l sed2
14 sed1
In Bash only (for fun):
n=1
while read line; do
if [[ ($n -ge 5555) && ($n -le 7777) ]]; then
echo $line
elif [[ $n -gt 7777 ]]; then
break
fi
n=$(( $n + 1 ))
done < file
Quitting when you're done can speed things up:
sed -n '5555,7777p; 7778q' input_file
Either of these should work;
Great question by the way ;)
I found that the sed option did not work on a mysqldump file, I'm guessing due to handling of quoted line feeds or multibyte characters. head and tail slice it using the same line numbers as grep which was what I needed. To get lines $j through $k, you need:
x=$(( $k - $j + 1 ))
tail -n +$j filename | head -${x}