Voilà
cat files.txt | xargs ls -l | cut -c 23-30 |
awk '{total = total + $1}END{print total}'
... | paste -sd+ - | bc
est le plus court que j'ai trouvé (sur le blog UNIX Command Line).
Modifier : ajouté le -
argument en faveur de la portabilité, merci @Dogbert et @Owen.