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.