awk alone can do this, no need for grep. Signed-off-by: Mans Rullgard <mans@mansr.com>
Attach a file by drag & drop or click to upload