Write entire contents of file to stdout and then pipe stdin to stdout

replfile.py

#!/usr/bin/python3

from sys import argv

with open(argv[1]) as f:
    print(f.read(), end="")

try:
    while True:
        print(input(), end="")
except EOFError:
    pass