Mercurial > dottes
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 |