4 ms·source? (edit: was supposed to be a pun)by xeonmc 3y agosource? (edit: was supposed to be a pun)paraselene_ 3y agoThis should suffice? https://github.com/BurntSushi/ripgrep https://github.com/BurntSushi/ripgrep