Comment by thiht

> But if I'm on some weird machine

Then use grep, what’s your point? grep is not going away because ripgrep is better, but ripgrep might become more available?

I also notice you’re saying "if", so you’re not. So again, what’s your point?