Skip to content

Error output from child processes coloured in red#128

Merged
istathar merged 6 commits into
technique-lang:mainfrom
istathar:red-stderr
Jun 26, 2026
Merged

Error output from child processes coloured in red#128
istathar merged 6 commits into
technique-lang:mainfrom
istathar:red-stderr

Conversation

@istathar

@istathar istathar commented Jun 25, 2026

Copy link
Copy Markdown
Member

Colour any stderr output from a child process in red.

The tricky thing to get right was curl; it writes its progress meter to stderr, which was a surprise!

We go to the trouble of poll()ing both file descriptors so that interleaved stdout and stderr output should be captured in the order it was emitted.

Finally, we have unified the impact of failed substeps on parent steps (and failed steps on parent procedures, etc) so that the behaviour is the same in both interactive and automatic modes: failure propagates up, but if running interactively the user can "override" what would otherwise be determined to be a failed step and mark it as Done instead.

@istathar istathar self-assigned this Jun 25, 2026
@istathar istathar merged commit 63cafaf into technique-lang:main Jun 26, 2026
1 check passed
@istathar istathar deleted the red-stderr branch June 26, 2026 13:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant