2 ms·
If you're interested in grepping PDFs (among other formats) another option is ripgrep-all. https://github.com/phiresky/ripgrep-all https://github.com/phiresky/
by jdc 6y ago
If you're interested in grepping PDFs (among other formats) another option is ripgrep-all.
https://github.com/phiresky/ripgrep-all https://github.com/phiresky/ripgrep-all