[bug]: `rg` keeps running if `batgrep` was cancelled through `Ctrl` + `C`
Open
- Dominant language
- Shell
- Stars
- 1.6k
- Forks
- 95
- PR merge metrics
- No merged PRs in 30d
Description
This issue has no description.
Contributor guide
Research direction
Start by reproducing the Ctrl+C cancellation in the batgrep command and observe whether rg remains running. Inspect batgrep's process and signal-handling entry point; done means cancelling batgrep also terminates the rg process.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- bash
- Domain
- cli
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100