OK, I’m going to do this without looking. It will be something like
pdftotext foo | grep whatever, right?
Let’s watch and see….
Well, close enough. Note that that was not being done on a Debian system. For Debian (like Ubuntu) you would use apt to install the tools.
apt-get install poppler-utils