Comment Comment by verdverm Many harnesses are doing this already, "Grep" is the tool name, ripgrep is the implementationIt depends on if it is using Grep the harness tool or Grep from the bash tool parent verdverm 4 months ago
It depends on if it is using Grep the harness tool or Grep from the bash tool