Modification de flux avec calcul

Merci.
Une solution qui me convient, bien que plus obscure que celle de zipe Pour un néophite de awk comme moi.

Apparemment rien de bien compliqué.

-F "[:.]" 

Il définit 2 séparateurs de champs différents (deux points et point). Ce qui nous donne 3 champs pour chaque ligne.

print $1 ":" $2 "."

Il imprime les 2 premiers champs tels qu'ils sont, en remettant le séparateur deux points entre les deux et le point en fin.

sprintf("%03d", $3*1000/75)

Puis il imprime le dernier champs en le mettant en forme directement grâce à la directive sprintf.

Comme dubcek connaît parfaitement toutes les subtilités de

awk

à l'inverse de bibi, c'est quand même beaucoup plus concis et précis ;-))

merci
j'ajouterais que %03d affiche toujours 3 chiffres avec des 0 devant si < 100

Je vois grosso modo comment modifier awk, sauf pour lui demander de respecter les 3 caractères pour l'affichage.

Euh... là on va attendre dubcek, le spécialiste awk par excellence. Ma connaissance de awk est trop sommaire pour ça, désolé ;-(

Question général : On est obligé de passer par le while, awk ne fonctionne pas en flux comme sed ?

J'ai utilisé une boucle

while

juste pour simuler un flux continu. Pas de souci pour un emploi normal ;-))