[clug] Help explaining a sed command to delete last 10 lines from a file

[Michael Ellerman]

On Tue, 2014-01-14 at 18:03 +1100, steve jenkin wrote:
> 
> Alternatively, I could just look for the Message ID header :)
> Those should be unique.

You would think.

I have a fair bit more mail than you, but I find that some of my messages don't
even have Message ID headers.

cheers