|2 people marked this as a favorite.
I realized in some down time this weekend that I hadn't downloaded my PDFs in a while, so I decided to take the chance to go download them. But it turns out I hadn't downloaded anything since Strange Aeons (grad school really does eat up your time). So I had well over 100 files to do. Since I didn't want to manually rename over 100 files I made a Python script to do it for me and figured I'd share it for others who might also be in a similar situation and don't want to spend forever unzipping and renaming things.
It's written with comments so even someone new to Python should be able to follow it. If you don't know how to run Python but want to use it https://automatetheboringstuff.com/chapter0/ will walk you through the process of installing a basic Python environment (or just install anaconda). The only thing you would need to add on top of that is the numpy package which either comes with anaconda or just run
python -m pip install --user numpy
from your command line/terminal once Python is installed.
Hopefully someone else finds it helpful.