I have a single huge csv file that contains header line and than hundreds of thousands of records.
I want to split it into multiple files, each containing the same header and than 10.000 records or what's left
If I didn't care about the header, I'd do split -l 10000 myfile
. However, I need each file to contain the header
How do I do this?