Skip to content

package: factor DotSlash executable fetching#24129

Merged
bolinfest merged 1 commit into
mainfrom
pr24129
May 22, 2026
Merged

package: factor DotSlash executable fetching#24129
bolinfest merged 1 commit into
mainfrom
pr24129

Conversation

@bolinfest
Copy link
Copy Markdown
Collaborator

@bolinfest bolinfest commented May 22, 2026

Why

The package builder already fetches rg from a checked-in DotSlash manifest. The zsh packaging work needs the same fetch/cache/size-check/SHA-256/extract path for another manifest, but keeping that refactor inside the zsh PR makes the review harder to follow.

This PR factors the existing rg-specific implementation into a reusable helper with no intended behavior change for rg packaging.

What Changed

  • Added scripts/codex_package/dotslash.py for checked-in DotSlash manifest parsing, archive download, cache reuse, size validation, SHA-256 validation, and member extraction.
  • Updated scripts/codex_package/ripgrep.py to delegate to the shared helper.
  • Preserved the existing rg manifest path, cache key, destination filename, and executable-bit behavior.

Testing

  • python3 -m py_compile scripts/codex_package/dotslash.py scripts/codex_package/ripgrep.py scripts/codex_package/cli.py scripts/codex_package/layout.py scripts/codex_package/zsh.py
  • python3 -m unittest discover scripts/codex_package

Stack created with Sapling. Best reviewed with ReviewStack.

Summary:
- move the shared DotSlash archive download/cache/verify logic into scripts/codex_package/dotslash.py
- update ripgrep packaging to use the shared helper while preserving existing cache keys and validation behavior

Test Plan:
- python3 -m py_compile scripts/codex_package/dotslash.py scripts/codex_package/ripgrep.py
- python3 -m unittest discover scripts/codex_package
@bolinfest bolinfest merged commit 195ba3e into main May 22, 2026
47 of 62 checks passed
@bolinfest bolinfest deleted the pr24129 branch May 22, 2026 21:38
@github-actions github-actions Bot locked and limited conversation to collaborators May 22, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants