Repository navigation

Make the CLI nicer on an unknown command - #1209

Merged

evanphx merged 5 commits into

mainfrom

mir-1823-make-cli-on-unknown-command-nicer

Sep 13, 2026

Merged

Make the CLI nicer on an unknown command#1209
evanphx merged 5 commits into
mainfrom
mir-1823-make-cli-on-unknown-command-nicer

Commits on Sep 11, 2026
- Pin mflags to the nicer unknown-command commit
  evanphx
  committed
  490b592
- Cover the mistyped-command messages from the CLI side
  evanphx
  committed
  3428915
- Suggest a flag name when one is mistyped
  evanphx
  committed
  f7731e9
- Re-pin mflags for the review fixes
  evanphx
  committed
  3aadc53
Commits on Sep 13, 2026
- Pin mflags to the merged commit
  evanphx
  committed
  92bb50e