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;
7
8pub use compress::compress_if_beneficial_pub;
9pub(crate) use exec::heavy_timeout;
10pub use exec::{exec, exec_argv};
11pub use interactive::interactive;
12pub use output_policy::{classify as classify_output, OutputPolicy};
13pub use platform::{
14    decode_output, is_container, is_non_interactive, join_command, join_command_for,
15    shell_and_flag, shell_name,
16};
17pub use redact::save_tee;