Write helpful information to log-file
This adds separators like the one used in the live-log-output, e.g. --- live log setup ---, to the generated log file. In addition to that
also the traceback is written to the log file now.
Fixes: #7307
Hi @thisch gentle ping here. Feel free to close or keep open as you prefer. 👍
Hi @thisch gentle ping here. Feel free to close or keep open as you prefer.
Hi, thx for the ping ;) I plan to finish this PR this week.
@twmr - I know ... long time ago ;) would it still make sense to pick this up again, or shall we close this for now and have a fresh go at a later point?
@obestwalter I think it still makes sense. If you are interested in it, be so kind and create a new PR for it, maybe with an improved implementation and a couple of unit tests. 🙏🏿
@twmr - I started to go through stale PRs and issues to see which ones have still a person attached that is willing to put some time in and otherwise cut our losses in the interest of having a manageable amount of issues and PRs. So if you personally have not interest anymore in seeing this through and nobody else is picking this up, then the merciless bot will close it automatically in two weeks I think.
Seems like the action only works on issues... closing this manually then.