Can anyone help me with this? My questions would be:
Am I doing something wrong?
How do I get a buffered stream?
Where is this in the documentation? Such that I next time know where to look
If julia doesn’t respect the OS settings for buffering, then it’s also OK if I can change the stdout buffering from within julia.
PS. I believe the relevant documentation belongs into
help?> stdout
search: stdout redirect_stdout
stdout::IO
Global variable referring to the standard out stream.
The documentation should explain:
How does the way of starting julia affect the concrete type of stdout? (tty, pipe, file)
How is the buffering determined from outside julia? (environment variables, cmd flags, tools like stdbuf and if necessary analogues on bsd + macos + windows)
How can you check and change buffering mode from within julia?