I just found myself in a situation where I needed to convert 30+ PHP files in to HTML files. Rather than do this manually, I had a look to see if I could do this using command line. I found this StackOverflow question which gives a few different methods, however they didn’t all work for me as … Continue reading Changing file extensions in bulk using Git Bash