I was tasked to get first 100 lines of records from a database dump. While searching big brother G, I found the solution here:- how to extract a range of lines from a file provided by zazzybob.

Here’s the solutions:-

You could also pipe though sed to extract the range – e.g.
[…]