Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature Request: Option for writing program output in out#.txt #97

Open
the-redback opened this issue May 15, 2020 · 2 comments · May be fixed by #98
Open

Feature Request: Option for writing program output in out#.txt #97

the-redback opened this issue May 15, 2020 · 2 comments · May be fixed by #98

Comments

@the-redback
Copy link

It will be a good option for people like me who debugs by printing.

The default behavior will be false.

@the-redback the-redback linked a pull request May 15, 2020 that will close this issue
@infalmo
Copy link

infalmo commented May 16, 2020

Why don't you instead write debug info to stderr?

@the-redback
Copy link
Author

I do. But, for a long debugging log, it is harder to read it from the console. I have to go to the beginning of the console output and it is time-consuming to find the actual beginning. That little time can be saved by outputting in a file, where the default behavior is still the same like before.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants