Robert Echlin schrieb:
> You want to pipe it through an awk script.
> Not having used awk recently, it would take me half an hour, but it
> should be a one liner.

Dustin already provided a patch which has gone into the main sourcetree,
so I just have to wait for the new release ;)

Although I run a patched version here already, sure ...

Thanks, Stefan