Convert a batch of wav files to mp3

June 26, 2017
In a terminal/console window type the following:

for file in *.wav; do ffmpeg -i "$file" -aq 128k "`basename "$file" .wav`.mp3"; done