Run the python script. Enter Path of Folder to change file names within. Enter string/substring to replace in File Names Enter string to replace with in File Names To replace "julia_plus" in ...

Notice that not only do we get the filename and line number on the right – but we also get the time (to the second) that the script ran on the left. All that info for free! And in a really pythonic ...

Ok, so the second one first: Is there any particular method for pulling a filename from a url when it is not specified in the http headers? Right now, I'm ...