Posts

Showing posts from October, 2013

Printf and awk

AWK cat input | awk '{printf "%9.6f %9.6f %9.6f\n", $1, $2, $3}' > output