Skip to content

docs: note allow_extra_args with delimiter - #1424

Open
henryiii wants to merge 1 commit into
mainfrom
docs/delimiter-allow-extra-args
Open

docs: note allow_extra_args with delimiter#1424
henryiii wants to merge 1 commit into
mainfrom
docs/delimiter-allow-extra-args

Conversation

@henryiii

@henryiii henryiii commented Aug 3, 2026

Copy link
Copy Markdown
Collaborator

🤖 AI text below 🤖

A container option takes as many argument values as it can, even when delimiter() is set, which surprises users who expect --opt a,b file to leave file for a positional. This documents allow_extra_args(false) as the fix.

  • README: cross-reference the two modifiers in their entries.
  • Book: same cross-reference in the modifier table, plus an example in the Customization section.

Behavior in the example was checked with a small program built against include/.

Addresses the first item of #1423.

A container option consumes the arguments that follow it even when a
delimiter is set. Document allow_extra_args(false) as the way to keep
those arguments available for positionals.

Assisted-by: ClaudeCode:claude-opus-5
@codecov

codecov Bot commented Aug 3, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 100.00%. Comparing base (cbd58a3) to head (5a5c2a1).

Additional details and impacted files
@@            Coverage Diff            @@
##              main     #1424   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           20        20           
  Lines         5228      5228           
  Branches      1131      1131           
=========================================
  Hits          5228      5228           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

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