Умножение строк в awk — возможно?

facepalm.lzo (100500TB)

man awk
/printf

ну и man 3 printf, ага

$ echo «123456
1
»|awk '{printf(«%05s\n»,$1)}'

?

Даже вообще оказалось awk не нужен:

[code]printf «%05d» $1[/code]

Спасибо за советы.