lean_ctx/shell/
mod.rs

1pub(crate) mod agent_wrapper;
2pub mod compress;
3mod exec;
4mod interactive;
5pub mod output_policy;
6mod pipeline;
7pub(crate) mod platform;
8mod redact;
9pub(crate) mod reentry;
10pub(crate) mod tee_policy;
11
12pub use compress::compress_if_beneficial_pub;
13pub(crate) use exec::shell_timeout_with_override;
14pub(crate) use exec::{STDERR_LABEL, combine_streams};
15pub use exec::{exec, exec_argv};
16pub use interactive::interactive;
17pub use output_policy::{OutputPolicy, classify as classify_output};
18pub use platform::{
19    decode_output, is_container, is_non_interactive, join_command, join_command_for,
20    resolve_carriage_returns, shell_and_flag, shell_name,
21};
22pub(crate) use redact::cleanup_old_tee_logs;
23pub use redact::save_tee;
lean_ctx/shell/mod.rs

lean_ctx/shell/
mod.rs
