removing the first 10 lines of a file

[Daniela]

On Friday 09 January 2004 17:21, Ernst de Haan wrote:
> You could do something like this:
>
> tail -n `echo \`wc -l in\` | awk '{print $1 " - 10" }' | bc` in > out
>
> where 'in' is the name of the input file and 'out' the name of the
> generated file... but I'm sure there's probably a nicer and shorter way :-)


tail -n +10 file