batch – rahji.com

Convert a Folder of .WAV files to numbered .MP3 files

A quick bit of bash that you can do from the command line on linux (or MacOS, if you have lame installed)…