Skip to main content

lean_ctx/shell/
mod.rs

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