Добавьте 0, когда значение равно 12 символам

Я извлекаю столбец из файла с разными значениями, некоторые из них от 11 символов до 13, но всякий раз, когда значение равно 11, мне нужно добавить 0 впереди.

awk -F, '{print $1 }' $FILE | \ awk '{printf("%04d%s\n", NR, $0)}' | \ awk '{printf("%-12s\n", $0) }' 82544990078 82544990757 899188001738 9337402002723 9337402002686 9337402002747 812153010733 852271005003 89000118359 

Он должен выглядеть так:

 082544990078 082544990757 899188001738 9337402002723 9337402002686 9337402002747 812153010733 852271005003 089000118359 

Interesting Posts
Linux и Unix - лучшая ОС в мире.