fcb62a0fa5
Hide the “/init” suggestion in the new-session banner when an `AGENTS.md` exists anywhere from the repo root down to the current working directory. Changes - Conditional suggestion: use `discover_project_doc_paths(config)` to suppress `/init` when agents docs are present. - TUI style cleanup: switch banner construction to `Stylize` helpers (`.bold()`, `.dim()`, `.into()`), avoiding `Span::styled`/`Span::raw`. - Fixture update: remove `/init` line in `tui/tests/fixtures/ideal-binary-response.txt` to match the new banner. Validation - Ran formatting and scoped lint fixes: `just fmt` and `just fix -p codex-tui`. - Tests: `cargo test -p codex-tui` passed (`176 passed, 0 failed`). Notes - No change to the `/init` command itself; only the welcome banner now adapts based on presence of `AGENTS.md`. |
||
|---|---|---|
| .. | ||
| src | ||
| tests | ||
| Cargo.toml | ||
| prompt_for_init_command.md | ||
| styles.md | ||