Awk argc et argv

Bonjour,
Dans le cadre de mon travail, j'essaie de comprendre le script ci-dessous. Mais je débute en shell et en awk. Pourriez-vous m'aider notamment à comprendre la dernière ligne de ce script qui lit un fichier csv dont les lignes sont du type :
prenoms;nombre;sexe;annee
Jessy;6;X;2005
Joana;7;F;2005
Joseph;75;M;2005
Judith;19;F;2005

Je vous remercie par avance

Script :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14

#/bin/bash   if [ $# -ne 1 ]; then echo "error: usage $0 " 1>&2 echo "returns an average line of the input file" 1>&2 exit 1 fi   input=$1; shift size=`wc -l $input | awk '{print $1}'` TIME=`date +%s`   awk 'BEGIN{srand(ARGV[3]); line=int(rand() * (ARGV[2])) + 1; ARGC-=2}NR==line{print}' $input $size $$

---

Bonjour,

En gros, le script retourne une ligne calculer par random du fichier csv.

le awk ici, prend le 3ème paramètre qui est $$ (le pid du process en cours, donc ici du script), il est utilisé pour configurer le random.
puis il calcul un nombre random compris entre 0 et 1 (0 inclus) qu'il multiplie par le nombre de ligne du fichier csv (la variable size calculée par le wc -l) puis il rajoute 1 à la valeur entière.
NR==ligne{print} veut dire que si NR est egale à ligne alors affiche $0, or NR sous awk est le numéro de la ligne courante.

Merci infiniment ! C'est exactement l'explication que j'attendais. C'est beaucoup plus clair maintenant.