Skip to content

Say the mkdir the regeneration command needs - #47

Open
zmaril wants to merge 1 commit into
mainfrom
fix-catalog-regeneration-path
Open

Say the mkdir the regeneration command needs#47
zmaril wants to merge 1 commit into
mainfrom
fix-catalog-regeneration-path

Conversation

@zmaril

@zmaril zmaril commented Aug 25, 2026

Copy link
Copy Markdown
Contributor

Follow-up to #43, found by running its documented command on a fresh checkout of
merged main rather than by re-reading it.

The catalog is not committed and git does not track an empty directory, so
infact-packs/rust-std/api/ is absent after a clone — and infact catalog --output does not create the path it is given. The command in the README
therefore fails in exactly the situation it exists for:

$ infact catalog "$J/core.json" --package core --version "$V" \
      --output "infact-packs/rust-std/api/core-$V.json"
error: No such file or directory (os error 2)

which names neither the path nor the reason.

One line of fix and a sentence saying why it is there, so nobody deletes it as
noise. Verified after: the catalog builds, git status stays clean, and the
scan finds 30 slice::is_sorted and 11 all_unique on the CodeNet corpus.

The alternative — having --output create parent directories — is arguably the
better fix and would help every pack-building path, not just this one. Left
alone here because it changes CLI behaviour and this is a documentation bug.

The catalog is not committed and git does not track an empty directory, so
`infact-packs/rust-std/api/` is absent on a fresh checkout — and `--output` does
not create the path it is given. The documented command therefore failed on the
one machine state it exists for, with a bare `No such file or directory` that
names neither the path nor the reason.

Found by running it on a fresh checkout of merged main rather than by reading it.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017ghYbUJFcVfkKYacbTVJsR
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