Assume I have a file with about 10000 lines.How can I print 100 lines, starting from line 1200 to line 1300?
How to echo from specific line of a file to another specific line
sed;awk;tail;text;head
With awk this would be awk 'NR >= 1200 && NR <= 1300'with sed: sed -n '1200,1300 p' FILEwith head and tail: head -n 1300 FILE | tail -n 100so many options, so many answers on stackexchange :) 