Direct console output to a file

The following suggests an idea: