Yakmoijebrille, le 28/10/2014 à 09:50
Plutôt que de chercher document par document avec Ctrl+F. Faites un pdfgrep dans tous les répertoires:
$ pdfgrep -Rn "pelle à tarte" *
(Permalink)

SimonLefort > Yakmoijebrille, le 28/10/2014 à 10:32
Je ne connaissais pas pdfgrep, merci pour l'info. En plus il est dans les dépôts Debian.
| ========
| simon@ordi :~$ sudo apt-get install pdfgrep
| ========

J'ai fais un petit test, ça marche super bien.
(Permalink)

mydjey, le 28/10/2014 à 11:52
pdfgrep, un grep pour les pdf (grep permet la recherche de texte au sein même des fichiers).

Exemple de commande :
pdfgrep -Rn "ma recherche" *

(via http://fabienm.eu/shaarli/?ip-vpg)
(Permalink)