>>577581

here is one way to fetch them all… no need to create tmp files

wget -q https:// ghostbin.com/paste/k4227 -O - | strings | grep https | grep searchapp | sed "s/(https:.[.]pdf)./\1/" | xargs -L 1 wget

>>577581

wget -q https:// ghostbin.com/paste/k4227 -O - | strings | grep searchapp | sed "s/(https:.[.]pdf)./\1/" | xargs -L 1 wget

ls -1 *.pdf | xargs -L 1 pdftotext -r 100

grep . *.txt >all.txt

less all.txt

steps:

1. get all pdfs

2. convert them to txt

3. effectively concat all *.txt files into one file, while printing filename at the beginning. grep -H will enforce that if it is not default.

1. happy browsing/less:ing or greping