Anonymous ID: 26315b April 12, 2018, 9:34 a.m. No.8658   🗄️.is 🔗kun

>>6826

>>7580

I guess it's a pain in the ass since new firefox doesn't support "download them all".

 

Firefox has a plugin called "copy all links". I will use that, dump to a text file, grep out all pdfs, then use that to generate that. If I wasn't lazy, I'd write a Perl script to extract out links directly from a wget'd html of this page, then loop through that list automatically.