Also, does anyone know of a tool that can search the text in a folder full of PDFs?
Like ripgrep but pdf? Or even a GUI application?
@artfulsodger I swear I searched "ripgrep for PDFs" and nothing came up the first time.
@njha happens. 😀 I knew this tool existed (was featured on Hacker News a while ago) but didn't remember its name. So I searched "ripgrep for PDFs" and got it 😛
Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.