I would like to send to the stdout entire file + extra line. How to do this nicely? So far I did:for LINE in $(cat $INPUT_FILE)do  echo $LINEdoneecho $EXTRA_LINEHow to do this bash way (for real)?
How to concat file and a line on-fly?
bash;shell;cat;output
How aboutcat -- $INPUT_FILEecho $EXTRA_LINE