Posts tagged #grep
4 posts
- Replacing deadgrep with consult-ripgrep · March 8, 2023
- More flexible grepping with deadgrep · January 20, 2023
- RIP ripgrep-regexp, long live deadgrep! · December 7, 2022
- RIP grep, long live ripgrep! · November 30, 2022