Sinon en mode terminal:
cat chiffre.txt | awk 'BEGIN{ somme=0 } { somme=somme+$0 } END{ print "total : " somme } ' chiffre.txt
Sinon en mode terminal:
cat chiffre.txt | awk 'BEGIN{ somme=0 } { somme=somme+$0 } END{ print "total : " somme } ' chiffre.txt