Convert Ogg Vorbis files to MP3

sudo apt install ffmpeg
for i in *.ogg; do ffmpeg -i "$i" "${i%.*}.mp3"; done