Vous voulez faire la somme d’entiers sur votre console ?
Voici la commande à utiliser :
awk 'BEGIN{sum=0} {sum+=$1} END{print sum}'

Leave a Reply