Convert ogg to MP3

for file in *.ogg
do
  ogg123 -d wav -f - "$file" | lame -h -m s -b 192 - "$(basename "$file" .ogg).mp3"
done

This is a personal website. Unless otherwise stated, the content and opinions expressed here are my own and not those of my employer.