Skip to content

Add ripgrep feature#116

Merged
sebst merged 2 commits intomainfrom
copilot/add-ripgrep-feature
Mar 19, 2026
Merged

Add ripgrep feature#116
sebst merged 2 commits intomainfrom
copilot/add-ripgrep-feature

Conversation

Copy link
Contributor

Copilot AI commented Mar 19, 2026

Adds a ripgrep devcontainer feature that installs the rg binary from GitHub releases (musl tar.gz), following the established feature pattern in this repo.

New files

  • src/ripgrep/devcontainer-feature.json — feature metadata; exposes a version option (default: latest)
  • src/ripgrep/install.sh — downloads and installs the musl tar.gz from BurntSushi/ripgrep releases; uses envsubst templating to handle the release-tag-embedded archive path; separates archiveName (ripgrep) from binaryName (rg)
  • test/ripgrep/test.sh — verifies rg --version outputs ripgrep

CI

Added ripgrep to both test-autogenerated and test-scenarios matrices in test.yaml.

Usage

// devcontainer.json
{
  "features": {
    "ghcr.io/devcontainer-community/features/ripgrep:1": {
      "version": "latest"
    }
  }
}
Original prompt

This section details on the original issue you should resolve

<issue_title>Add ripgrep feature</issue_title>
<issue_description>build on implementation in #104 </issue_description>

Comments on the Issue (you are @copilot in this section)


💬 Send tasks to Copilot coding agent from Slack and Teams to turn conversations into code. Copilot posts an update in your thread when it's finished.

Co-authored-by: sebst <592313+sebst@users.noreply.github.com>
Copilot AI changed the title [WIP] Add ripgrep feature Add ripgrep feature Mar 19, 2026
Copilot AI requested a review from sebst March 19, 2026 09:47
@sebst sebst marked this pull request as ready for review March 19, 2026 09:55
@sebst sebst merged commit 99078a0 into main Mar 19, 2026
143 of 145 checks passed
@sebst sebst deleted the copilot/add-ripgrep-feature branch March 19, 2026 10:39
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.

Add ripgrep feature

2 participants