TIL you can search PDF files from the comfort of the command line with pdfgrep.
It supports many of the same options as regular grep, e.g. to perform a case-insensitive search, with colour highlighting of hits and adding two lines of context after each match, do:
pdfgrep -i --color -A 2 <query> *.pdf
#linux #pdf #bash