comparison makeWebAudio.sh @ 369:e5f59f0e7dd5

Add audio player to tune web page. Add an <audio> tag to the bottom centre of the tune web page. Give it options for MP3 and OGG files. Most browsers will play MP3, and the ones that won't (Firefox) will play OGG. Since we now have to generate OGGs, add a download link as well.
author Jim Hague <jim.hague@acm.org>
date Wed, 28 Aug 2013 11:54:45 +0100
parents 0ef955669a9a
children c5d404bf68a3
comparison
equal deleted inserted replaced
368:78afd8761dac 369:e5f59f0e7dd5
25 tmpname=${name}.tmp 25 tmpname=${name}.tmp
26 26
27 abc2midi $filename -o $builddir/${tmpname}.mid 27 abc2midi $filename -o $builddir/${tmpname}.mid
28 timidity -Ow -o $builddir/${tmpname}.wav $builddir/${tmpname}.mid 28 timidity -Ow -o $builddir/${tmpname}.wav $builddir/${tmpname}.mid
29 lame --quiet $builddir/${tmpname}.wav $builddir/${tmpname}.mp3 29 lame --quiet $builddir/${tmpname}.wav $builddir/${tmpname}.mp3
30 # Timidity can generate OGG directly. But we need to generate WAV
31 # for lame, and oggenc produces smaller output. OGG is needed for
32 # Firefox's audio tag. FF doesn't support MP3, some others support
33 # MP3 but not OGG.
34 oggenc -Q -o $builddir/${tmpname}.ogg $builddir/${tmpname}.wav
30 35
31 mv $builddir/${tmpname}.mid $builddir/${name}.mid 36 mv $builddir/${tmpname}.mid $builddir/${name}.mid
32 mv $builddir/${tmpname}.mp3 $builddir/${name}.mp3 37 mv $builddir/${tmpname}.mp3 $builddir/${name}.mp3
38 mv $builddir/${tmpname}.ogg $builddir/${name}.ogg
33 rm $builddir/${tmpname}.wav 39 rm $builddir/${tmpname}.wav
34 done 40 done