Add "0" 1

[Castelior]

Hi guys.

I have a file :

1
2
10
123

and I want :

0001
0002
0010
0123

My script is a shell.
I don't know if i should used "sed" or "awk" or "printf"

Thinks!

 

[toolkit]

Either:

#!/usr/bin/ksh
typeset -Z4 result
cat test.txt | while read result
do
    echo $result
done

Or:

#!/usr/bin/ksh
cat test.txt | while read result
do
    printf "%04d\n" $result
done

Plus many other ways using awk, perl, etc...

 

[Castelior]

Think you!!

It works!