Optionally run using user profile (#1678)

2025-07-25 11:45:23 -07:00
parent 994c9a874d
commit 7ee87123a6
8 changed files with 260 additions and 1 deletions
--- a/codex-rs/core/src/lib.rs
+++ b/codex-rs/core/src/lib.rs
@@ -36,6 +36,7 @@ mod project_doc;
 pub mod protocol;
 mod rollout;
 mod safety;
+pub mod shell;
 mod user_notification;
 pub mod util;