
Anthony B. answered 05/26/19
Seven years of professional use
Choose your weapon:
split -l 200000 my_file
Then you'll need some script to clean up the resulting file names.
You can use sed to select a range of lines, but then you will need a bash loop to set the start and end files.
sed -n '$start,$endp' my_file > output.txt
A similar approach using awk:
cat my_file | awk -v Start=$start -v End=$end 'BEGIN{COUNT = 0}{if(COUNT >= Start && COUNT < End){print $0};COUNT=COUNT+1}' > output.txt