These are mostly notes I'm leaving to myself. They're not meant in any generality, but what the hell, someone might find them useful, so they might as well be public.
Saturday, May 25, 2019
To Turn .midi Files Into .wav Files
for i in *.midi; do timidity -Ow -o "${i%.midi}.wav" "$i" ; done
No comments:
Post a Comment