Mercurial > dottes
diff 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 |
line wrap: on
line diff
--- a/makeWebAudio.sh Wed Aug 21 14:21:38 2013 +0100 +++ b/makeWebAudio.sh Wed Aug 28 11:54:45 2013 +0100 @@ -27,8 +27,14 @@ abc2midi $filename -o $builddir/${tmpname}.mid timidity -Ow -o $builddir/${tmpname}.wav $builddir/${tmpname}.mid lame --quiet $builddir/${tmpname}.wav $builddir/${tmpname}.mp3 + # Timidity can generate OGG directly. But we need to generate WAV + # for lame, and oggenc produces smaller output. OGG is needed for + # Firefox's audio tag. FF doesn't support MP3, some others support + # MP3 but not OGG. + oggenc -Q -o $builddir/${tmpname}.ogg $builddir/${tmpname}.wav mv $builddir/${tmpname}.mid $builddir/${name}.mid mv $builddir/${tmpname}.mp3 $builddir/${name}.mp3 + mv $builddir/${tmpname}.ogg $builddir/${name}.ogg rm $builddir/${tmpname}.wav done