Cómo concat un file y una línea en marcha?

Me gustaría enviar al file completo stdout + línea adicional. ¿Cómo hacer esto bien? Hasta ahora lo hice:

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

¿Cómo hacer esto de manera bash (de verdad)?

Qué tal si

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