Anonymous ID: 6db461 May 3, 2018, 4:01 a.m. No.1284257   🗄️.is 🔗kun   >>9311

>>988164

>for i in grep -E '^htt.*\.pdf$' pdflist;do foo=$(basename $i .pdf);wget $i; pdftotext -r 300 $foo; done

No need for the basename strip as the shell can handle string parsing, so:

for i in grep -E '^htt.*\.pdf$' pdflist;do wget $i; pdftotext -r 300 ${i%.pdf}; done

is equivalent.

¢♄Δ⊕$