mp3,midi -> wav -> ogg script

convert_material.sh

#!/usr/bin/env bash

EXEC_DIR=$(pwd)

cd $(dirname $0)
SCRIPT_DIR=$(pwd)

cd $EXEC_DIR

for dir in Music Sound
do
    for i in ./$dir/*
    do
        base=$(basename $i)
        ext=${base##*.}
        file=${base%.*}
        wav_out=./$dir/$file.wav
        ogg_out=./$dir/$file.ogg

        if ! [ -f $wav_out -a -f $ogg_out ] ; then
            if [ $ext = "midi" -o $ext = "mid" ] ; then
                fluidsynth -F $wav_out $SCRIPT_DIR/FluidR3_GM.sf2 $i
            elif [ $ext = "mp3" ] ; then
                lame -decode $i $wav_out
            fi
            oggenc $wav_out -o $ogg_out
        fi
    done
done