Hellow :)
J'ai un chtit problme pour des convertions sur de gros fichiers
(shell script en ksh)
Je veux convertir par exemple 22 en 00022 (et 1213 en 01213).
Pour cela je peux appliquer une mthode simpliste de ce genre :
NO=22
LONG=`expr $NO : ".*"`
while [ "$LONG" != "5" ]
do
LONG=`expr
"JS" == Jean-Claude Schopfer [EMAIL PROTECTED] writes:
Je veux convertir par exemple 22 en 00022 (et 1213 en 01213).
Pour cela je peux appliquer une mthode simpliste de ce genre :
[...]
Est-ce que qqn saurait comment faire ce truc avec awk ?
avec GNU awk 3.03 (ce qui t'interesse c'est
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,
