In you can search in files via . Thi is useful for searching one phrase among multiple pdf files:
pdfgrep mahdi 1.pdf 2.pdf

@RezaHoss Does this work with ligatures? Most times when I see text extracted from a PDF, the extraction process doesn’t correctly decompose them into their component letters, so for example you see *xed instead of fixed on account of the fi ligature.

@khird
I do not use . Sorry I do not know is this working well with LaTeX pdfs or not.

QOTO: Question Others to Teach Ourselves. A STEM-oriented instance.

An inclusive free speech instance.
All cultures and opinions welcome.
Explicit hate speech and harassment strictly forbidden.
We federate with all servers: we don't block any servers.