Problème d'arrondi avec awk

Bonjour,

awk arrondit les valeurs du fichier que je lui donne en lecture, ce que je ne veux pas.
Avec le code suivant, si j'ai les valeurs 46.90 et 11.40 dans la 4ème et la 5ème colonne de mon fichier d'entrée respectivement, le résultat de la dernière ligne de ce code me donne : 46.0000 et 11.0000 dans mon nouveau fichier.

Code:

---

1 2 3 4 5 6 7 8

BEGIN { } { nobs=0; intensite=0; if(match($4,"999")==0){intensite=1;nobs=nobs+1;}; if(intensite==1){printf("%10.4f%10.4f 5",$4,$5)}; }

---

Je ne comprends pas d'où vient l'arrondi ?

Merci d'avance

Bonjour,

je n'observe pas ça avec [gmn]awk :

Code:

---

1 2	$ awk '{printf("%10.4f%10.4f", $1,$2}' <<< "46.90, 11.40" 46.9000 11.4000$

---

mais avec original-awk, oui.

fais précéder ta commande awk de la variable d'environnement LC_NUMERIC=C

Code:

---

1 2 3 4 5

$ original-awk '{printf("%10.4f%10.4f\n", $1+0, $2+0)}' <<<"46.90 11,40" #note le changement de séparateur décimal. 46,0000 11,4000 $ LC_NUMERIC=C original-awk '{printf("%10.4f%10.4f\n", $1+0, $2+0)}' <<<"46.90 11,40" 46.9000 11.0000 $

---

Super, ça marche !
Merci beaucoup !