Deve ser suficiente para envolver o loop while em um loop for:
for i in file1 file2 file3; do
while IFS= read -r line
do
#stuff
done < "$i"
done
Se você se importar apenas com o texto em si, poderá apenas cat file1 file2 file3 | while IFS= read -r line
, mas cuidado com arquivos terminados que não sejam de nova linha, pois cat
combinará o último item desse arquivo com a primeira linha de um novo.
Além disso, desde que você mencionou um diretório específico, você pode usar glob com o loop for como em for i in /mnt/traitement/*
. Assim
for i in /mnt/traitement/* ; do
if ! [ -f "$i" ]; then
continue
fi
while IFS= read -r line
do
#stuff
done < "$i"
done