Skip to content

Conversation

@joshka-oai
Copy link
Collaborator

Piping to codex fails to do anything useful and locks up the process.
We currently check for stdout, but not stdin

❯ echo foo|just c
cargo run --bin codex -- "$@"
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.21s
     Running `target/debug/codex`
Error: stdin is not a terminal
error: Recipe `codex` failed on line 10 with exit code 1

Piping to codex fails to do anything useful and locks up the process.
We currently check for stdout, but not stdin
@joshka-oai joshka-oai requested a review from bolinfest November 8, 2025 00:18
@joshka-oai joshka-oai force-pushed the joshka/stdin-non-terminal branch from 6a6a6c3 to b078949 Compare November 13, 2025 18:07
@joshka-oai joshka-oai merged commit 3ea33a0 into main Nov 21, 2025
25 checks passed
@joshka-oai joshka-oai deleted the joshka/stdin-non-terminal branch November 21, 2025 22:17
@github-actions github-actions bot locked and limited conversation to collaborators Nov 21, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants