string operation - awk

On 25 Jul., 16:51, qingpin <chunkaow...> wrote:
> I have one file like:
>
> 1 234
> 2 34
> 4 345
> 3 1
>
> How can I change the file into the following file:
>
> 1 0234
> 2 0034
> 3 0345
> 4 0001
>
> Thank you

awk '{printf ("%d %04d\n", $1, $2)}'


Janis

qingpin <chunkaowang> writes:

> I have one file like:
>
> 1 234
> 2 34
> 4 345
> 3 1
>
> How can I change the file into the following file:
>
> 1 0234
> 2 0034
> 3 0345
> 4 0001

awk '{printf("%d %04d\n",$1,$2)}'

is *probably* what you want, if the rest of your input is similar.

Cheers,

- Joel

On Jul 25, 5:16 pm, Joel Reicher <j...@panacea.null.org> wrote:
> qingpin <chunkaow...> writes:
> > I have one file like:
>
> > 1 234
> > 2 34
> > 4 345
> > 3 1
>
> > How can I change the file into the following file:
>
> > 1 0234
> > 2 0034
> > 3 0345
> > 4 0001
>
> awk '{printf("%d %04d\n",$1,$2)}'
>
> is *probably* what you want, if the rest of your input is similar.
>
> Cheers,
>
> - Joel

Thank you very much!