duda sobre awk

[Cristian Rodriguez]

On 5/12/06, María Isabel Mateos Bermúdez <isabel.mateos en ses.juntaex.es> wrote:
>
>
>
> Hola a todos,
>
> Sabe alguien como puedo formatear números en awk, por ejemplo:
>
> ¿como puedo formatear números del tipo 234556.03 a 234.556,03? Osea poder
> ponerle el punto de los miles y cambiar el . por un coma por si fuera
> decimal.
>
> Un saludo.
>
> Maribel


php -r "echo number_format('123412341324', 2, ',', '.');"