Skip to main content

lean_ctx/shell/
mod.rs

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