Como concatir arquivo e uma linha on-fly?

Question

Eu gostaria de enviar para o arquivo stdout inteiro + linha extra. Como fazer isso bem? Até agora eu fiz:

for LINE in $(cat $INPUT_FILE)
do
  echo $LINE
done
echo $EXTRA_LINE

Como fazer este bash (real)?

    

Answer 1

Que tal

cat -- "$INPUT_FILE"
echo "$EXTRA_LINE"