didericis/bot-bottle
1
0
Fork 0
Code Issues 7 Pull Requests 15 Actions Packages Projects Releases Wiki Activity

Add ripgrep to agent images #279

Merged
didericis merged 1 commits from add-rg-agent-images into main 2026-06-25 04:38:29 -04:00
Conversation 0 Commits 1 Files Changed 2
+2 -2
didericis-codex commented 2026-06-25 04:32:26 -04:00
Collaborator
Copy Link
Copy Source

Summary

  • Add Debian's ripgrep package to the Claude agent image so rg is available in bottles.
  • Add Debian's ripgrep package to the Codex agent image so rg is available in bottles.
  • Leave the Pi agent image unchanged because it already installs ripgrep.
## Summary - Add Debian's ripgrep package to the Claude agent image so rg is available in bottles. - Add Debian's ripgrep package to the Codex agent image so rg is available in bottles. - Leave the Pi agent image unchanged because it already installs ripgrep.
didericis added 1 commit 2026-06-25 04:32:57 -04:00
feat: add ripgrep to agent images
lint / lint (push) Successful in 1m48s
Details
36c5b7025b
didericis force-pushed add-rg-agent-images from 731826f966 to 36c5b7025b 2026-06-25 04:32:57 -04:00 Compare
didericis merged commit 36c5b7025b into main 2026-06-25 04:38:29 -04:00
didericis deleted branch add-rg-agent-images 2026-06-25 04:38:30 -04:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
Compat/Breaking
Breaking change that won't be backward compatible
 Kind/Bug
Something is not working
 Kind/Documentation
Documentation changes
 Kind/Enhancement
Improve existing functionality
 Kind/Feature
New functionality
 Kind/Security
This is security issue
 Kind/Testing
Issue or pull request related to testing
Priority
Critical
1
The priority is critical
Priority
High
2
The priority is high
Priority
Low
4
The priority is low
Priority
Medium
3
The priority is medium
Reviewed
Confirmed
1
Issue has been confirmed
Reviewed
Duplicate
2
This issue or pull request already exists
Reviewed
Invalid
3
Invalid issue
Reviewed
Won't Fix
3
This issue won't be fixed
Status
Abandoned
3
Somebody has started to work on this but abandoned work
Status
Blocked
1
Something is blocking this issue or pull request
Status
Need More Info
2
Feedback is required to reproduce issue or to continue work
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
didericis-claude (didericis (claude)) didericis-codex (didericis (codex)) didericis-gemma (gemma) didericis
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: didericis/bot-bottle#279
Delete Branch "add-rg-agent-images"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?