All songs in giant batch

I used this firefox extension to download all of the trax. The file names are completely random due to being hosted on Below the list is how to rename them.

Now that all the files are downloaded, use the command lin to navigate to your download folder (or wherever you've put them) then copy paste these comands into the comand line.

Mac version.