Skip to content

fix: update CLI nav script to target config/navigation.json#177

Merged
dangrondahl merged 1 commit intomainfrom
fix/174-update-cli-nav-script
Apr 23, 2026
Merged

fix: update CLI nav script to target config/navigation.json#177
dangrondahl merged 1 commit intomainfrom
fix/174-update-cli-nav-script

Conversation

@dangrondahl
Copy link
Copy Markdown
Contributor

@dangrondahl dangrondahl commented Apr 23, 2026

Summary

  • Updates scripts/update-cli-nav.py to read/write config/navigation.json directly instead of docs.json
  • Updates .github/workflows/update-cli-docs.yml to pass --nav-file config/navigation.json
  • Script now exits with error if CLI Reference section is not found (previously failed silently)
  • Also picks up the missing kosli evaluate input nav entry (same as fix: add missing kosli evaluate input to CLI navigation #176)

Root cause: When navigation was split from docs.json into config/navigation.json via $ref, the script kept targeting docs.json where it found {"$ref": ...} instead of the actual nav structure.

Closes #174

@dangrondahl dangrondahl requested a review from a team as a code owner April 23, 2026 11:06
@mintlify
Copy link
Copy Markdown
Contributor

mintlify Bot commented Apr 23, 2026

Preview deployment for your docs. Learn more about Mintlify Previews.

Project Status Preview Updated (UTC)
kosli 🟢 Ready View Preview Apr 23, 2026, 11:07 AM

The script was writing to docs.json, but navigation moved to
config/navigation.json via $ref. The script silently found no
matching structure and wrote docs.json back unchanged.

Changes:
- Script now reads/writes config/navigation.json directly
- Errors if CLI Reference section is not found (no more silent failure)
- Workflow updated to pass --nav-file config/navigation.json
- Renamed --config flag to --nav-file for clarity

Closes #174
@dangrondahl dangrondahl merged commit 2f00fcb into main Apr 23, 2026
4 checks passed
@dangrondahl dangrondahl deleted the fix/174-update-cli-nav-script branch April 23, 2026 11:13
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.

fix: update-cli-nav.py silently fails because navigation moved to config/navigation.json

2 participants