Petit pense bête pour la prochaine fois où j'aurai besoin de faire la somme d'une liste de nombres en shell (un nombre par ligne) :

cat my_file | awk '{total+=$1}END{print total}'

Par exemple, pour obtenir la taille totale des tables dans une base de données MySQL :

mysqlshow -i my_db '*' | tr -s ' ' | cut -d ' ' -f 14 | grep [0-9] | awk '{total+=$1}END{print total}'