Tee from stdin to a file