Forum général.cherche-logiciel comment modifier chaque ligne dans un fichier

bonjour a tous,

Comment modifier chaque ligne dans un fichier ?

je souhaite incrémenté chaque ligne

voici mon fichier ( toto.txt):

1245;tous;ok;78y9;local;14587

numer;tous;ok;7d89;local;12457

g1245;tous;ok;7d89;local;124587

TY1245;tous;ok;7849;local;12487

voici mon script:

fic=cat toto

for n in $fic

do

num=expr 12 + 1

awk 'BEGIN {flag=0}; /tous/ {flag=1;} flag==1 { print "$num"$0}' $fic

done

Mais ça marche pas !!

le résultat que je souhaite:

13;tous;ok;78y9;local;14587

14;tous;ok;7d89;local;12457

15;tous;ok;7d89;local;124587

16;tous;ok;7849;local;12487

Merci pour toutes réponses.