Fill numbers with 0 in shell

[Christian Aguilar Varga]

Hi everybody,
Can someone of you help me with this?
I have numbers from 1 to 9999 and i want to fill the number with 0s until getting 4 characters. I mean:
1 ---- 0001
2 ---- 0002
.
.
25 --- 0025
.
.
9999 --- 9999

Would you have a way or command in shell to do it?. My system is running on HP-UX B11.11.

Regards,

[James R. Ferguson · Accepted solution]

Hi:

Use formatted printing:

#!/usr/bin/sh
for n in 1 2 3
do
printf "%04d\n" ${n}
done


Regards!

...JRF...

[Hasan Atasoy]

let i=0

while [ $i -lt 9999 ]
do
printf "%04d\n",$i
let i=$i+1
done




Hasan

[Christian Aguilar Varga]

The advices were good for my work.

[Dennis Handly]

You can also use the shell directly to do this:
$ typeset -Z4 i=9; echo $i
0009