You need readfile to do something with those tokens.
Grep only gives you the matching lines, not the context.
reply`grep -C $NUM` ? ;)
replyEven so. Take a look at the NDCG numbers for grep. It's not pretty
replyripgrep exists though
replyThe comparison is with ripgrep, see the benchmarks.
reply