OVERWRITE - copy stdin to stdout after EOF

 This shell is called from the shell script:    replace