Skip to content

Add error-output option#1169

Open
t0hsumi wants to merge 1 commit intomainfrom
add-error-flag
Open

Add error-output option#1169
t0hsumi wants to merge 1 commit intomainfrom
add-error-flag

Conversation

@t0hsumi
Copy link
Contributor

@t0hsumi t0hsumi commented Jun 19, 2025

This change enables specifying a file for stderr via the command line when using runexec. If --error-output is not provided, the behavior remains the same.

@PhilippWendler
Copy link
Member

Do we have tests already that cover writing to different files?

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.

2 participants