è una delle cose che ancora non so fare, ma con awk si dovrebbe potere.
comunque shell+awk=awk