This question already has an answer here:
- cat line X to line Y on a huge file 5 answers
Assume I have a file with about 10000 lines.
How can I print 100 lines, starting from line 1200 to line 1300?
With awk this would be
with head and tail:
so many options, so many answers on stackexchange :)