Ecco
cat files.txt | xargs ls -l | cut -c 23-30 |
awk '{total = total + $1}END{print total}'
... | paste -sd+ - | bc
è il più breve che ho trovato (dal blog UNIX Command Line).
Modifica: aggiunto il -
argomento a favore della portabilità, grazie @Dogbert e @Owen.