Add File Redirect Option to Terminal

[py2025]

User should be able to select the file that they want terminal output to be directed to.

[HotelCalifornia]

something like prosv5 terminal --output filename. I think we'd also want it to still display to the user what's going on (while copying output to the file in the background)

[3038922]

It would be great if we could interact more conveniently with the host computer.

Personally, I'm going to start learning tensorflow in the near future.

[edjubuh]

There's already standard shell utilities like prosv5 terminal > output.txt or prosv5 terminal | tee output.txt. Why add this to PROS?

[HotelCalifornia]

Because it isn't hard to add and I feel that it improves user experience. People who already know how to use those standard shell utilities can of course continue to use them.