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