Linux

To extract specific range of lines in files

# To extract the first 10.000 lines
sed -n '1,10000p' file.txt