3
Awk número de impresión en ancho y redondearlo hacia arriba
Necesito imprimir un número, pero con el ancho dado y redondeado (¡con awk!) %10s Tengo esto y de alguna manera necesito conectarlo, %dpero todo lo que hago termina con demasiados parámetros para awk (porque tengo más columnas).