#! /usr/bin/bash if [ -z "$1" ]; then echo "usage: $0 file.mid"; exit 1; fi midfile="$1" shift basename=${midfile%.mi[di]*} wavfile=$basename.wav timidity "$midfile" -Ow $* -o "$wavfile" sox "$wavfile" -r 44100 "$basename".tmp.wav resample mv -f "$basename".tmp.wav "$wavfile"