Skip to content

feat(cli): wire --bare and --no-plugins (+ doc-fix --permission-mode)#163

Merged
oratis merged 1 commit into
mainfrom
feat/cli-bare-noplugins
Jun 7, 2026
Merged

feat(cli): wire --bare and --no-plugins (+ doc-fix --permission-mode)#163
oratis merged 1 commit into
mainfrom
feat/cli-bare-noplugins

Conversation

@oratis
Copy link
Copy Markdown
Owner

@oratis oratis commented Jun 7, 2026

Two parsed-but-ignored CLI flags, now wired:

  • --bare — suppresses the REPL startup banner (▎ DeepCode · model · mode · effort + Working in + Type /help) for scripting / minimal output.
  • --no-plugins — skips plugin discovery (empty contributions) + wirePlugins (faster start, or to bypass a broken plugin).

Threaded through ReplOptsstartRepl. Also de-stales three BEHAVIOR_PARITY rows: --permission-mode → ✅ (already wired in #159, doc lagged), --bare → ✅, --no-plugins → 🟡 (--strict still parsed-only).

Verification: parsing is covered by the existing parse-args boolean flags test (p.bare/p.noPlugins); the wiring is smoke-verified against a throwaway HOME--bare yields 0 banner lines vs 1 without, and --bare/--no-plugins both run + exit cleanly. cli 137, typecheck clean, repo-wide format:check clean.

🤖 Generated with Claude Code

Both flags were parsed (and parse-tested) but ignored:
- --bare: suppress the REPL startup banner (▎ DeepCode line + "Working in" +
  "Type /help") for scripting / minimal output.
- --no-plugins: skip plugin discovery (empty contributions) + wirePlugins —
  faster start, or to bypass a broken plugin.

Threaded through ReplOpts → startRepl. Also flips stale BEHAVIOR_PARITY rows:
--permission-mode → ✅ (already wired in #159), --bare → ✅, --no-plugins → 🟡
(--strict still parsed-only).

Parsing is covered by the existing parse-args "boolean flags" test; the wiring
is smoke-verified against a throwaway HOME (--bare → 0 banner lines vs 1 without;
--bare/--no-plugins both run + exit cleanly). cli 137.

Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>
@oratis oratis merged commit 76230bb into main Jun 7, 2026
3 checks passed
@oratis oratis deleted the feat/cli-bare-noplugins branch June 7, 2026 08:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant