1 2 3 4 5 6 7 8 9 10
//! Shell tools — `Bash` (foreground exec) plus the background-job registry //! and its companion tools (`BashOutput`, `KillShell`). pub mod bash; pub mod bash_bg; pub use bash::BashTool; pub use bash_bg::{ BashBgRegistry, BashJob, BashOutputTool, BashStatus, KillShellTool, RingBuffer, global_registry, };