On Thu, 01 Mar 2001, Jean-Claude Schopfer wrote:
> Je veux convertir par exemple 22 en 00022 (et 1213 en 01213).
> Pour cela je peux appliquer une méthode simpliste de ce genre :
Pas forcement tres elegant ni tres performant :
NO=22
printf "%.5d" %{NO}
Si tes valeurs se trouvent dans une boucle, il est plus performant d'utiliser
awk avec un pipe plutot que la commande printf qui fait un fork/exec a chaque
parsing de la ligne. Donc :
.. | awk '{ printf("%.5d\n", $1); }'
Daniel
--
http://www-internal.alphanet.ch/linux-leman/ avant de poser
une question.
