I need to trim the header in a csv file. I have used tail -n +2 ... which works fine but it is really slow (I have lots of 100M files), and I don't understand why since no memory is needed from tail to achieve this (unlike tail -n 10000 for instance).I have tried awk '{if (NR > 1) print $0}'. It is a bit faster but still orders of magnitude slower than cat. But cat doesn't have that option. Are there other commands? Thanks
What is the fastest command to trim the header of a csv file?
awk;performance;cat;tail