Comment

Comment by verdverm

Many harnesses are doing this already, "Grep" is the tool name, ripgrep is the implementation

It depends on if it is using Grep the harness tool or Grep from the bash tool

parent verdverm 4 months ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton