3 ms·
certainly imperfect, but before 2024 you might want to run something akin to: wget -r -l 2 -A pdf --no-parent https://tomlehrersongs.com/index/ https://tomlehr
by coffee-- 6y ago
certainly imperfect, but before 2024 you might want to run something akin to:
wget -r -l 2 -A pdf --no-parent https://tomlehrersongs.com/index/ https://tomlehrersongs.com/index/
- vortico 6y agoHopefully the Wayback Machine will pick it up. It only has the index page at this time. https://web.archive.org/web/20200302193816/https://tomlehrersongs.com/ https://web.archive.org/web/20200302193816/https://tomlehrer...
- kwhitefoot 6y agoUse the Firefox extension to add the pages to the Wayback Machine. I've added some. Don't forget to add the actual pdfs.
- pabs3 6y agoI just used savepagenow@archive.org to archive all the web parts and then a bunch of curl plus the email to save the PDFs.
- gspr 6y agoHopefully I got everything: https://nonempty.org/stuff/lehrer-pubdomain.tar.gz https://nonempty.org/stuff/lehrer-pubdomain.tar.gz