You have code that uses write/1 which writes to the predefined stream current_output but you want write/1 to write to a file. You could change all of write/1 to write/2 but there is another option. Since write/1 writes to current_output you can temporarily substitute in another stream for current_o…

You can also use with_output_to/2. It is very useful, especially for test cases when the goal produces a certain output and you want the test suite to verify this.

Yep, with_output_to/2 does the same thing. I should rewrite this to redirect input now that you stole the show . Don’t tell me there is a with_input_from/2. :wink: EDIT Found with_input_from/2 We really should write that cookbook. :thinking:

[image] EricGT: I should rewrite this to redirect input now that you stole the show . hehehe, you are funny :slight_smile:

Temporarily redirect write/1 or current_output to a file

Nice to know

Topic		Replies	Views
Simplest way to redirect write statements to a file from the console window? Help!	3	878	July 17, 2019
Write plunit output to file Help!	2	395	March 12, 2019
Can I use with_output_to/2 with a foreign function that calls Sprintf()? Help! how-to	13	329	September 15, 2023
Unexpected result using with_output_to and string(S) Help!	6	494	December 20, 2022
Help with set_prolog_IO/3 Help! how-to	4	977	January 29, 2020

Temporarily redirect write/1 or current_output to a file

Related topics