comparison makeWebAudio.sh @ 1033:c9d57876e249 build-default-374

Try and make audio generation less chatty.
author Jim Hague <jim.hague@acm.org>
date Wed, 19 Feb 2020 12:45:04 +0000
parents 18f0e45207ef
children 5bd2c1f0833e
comparison
equal deleted inserted replaced
1032:59fc5829ece3 1033:c9d57876e249
22 makeaudiofiles() 22 makeaudiofiles()
23 { 23 {
24 name=`basename $1 .abc` 24 name=`basename $1 .abc`
25 tunedir="$2" 25 tunedir="$2"
26 26
27 abc2midi $1 -o $tunedir/${name}.tmp.mid 27 abc2midi $1 -o $tunedir/${name}.tmp.mid -silent
28 mv $tunedir/${name}.tmp.mid $tunedir/${name}.mid 28 mv $tunedir/${name}.tmp.mid $tunedir/${name}.mid
29 timidity -OwM $3 -o $tunedir/${name}.wav $tunedir/${name}.mid 29 timidity --quiet -OwM $3 -o $tunedir/${name}.wav $tunedir/${name}.mid
30 lame -m m -V 9 --quiet $tunedir/${name}.wav $tunedir/${name}.tmp.mp3 30 lame -m m -V 9 --silent $tunedir/${name}.wav $tunedir/${name}.tmp.mp3
31 mv $tunedir/${name}.tmp.mp3 $tunedir/${name}.mp3 31 mv $tunedir/${name}.tmp.mp3 $tunedir/${name}.mp3
32 # Timidity can generate OGG directly. But we need to generate WAV 32 # Timidity can generate OGG directly. But we need to generate WAV
33 # for lame, and oggenc produces smaller output. OGG is needed for 33 # for lame, and oggenc produces smaller output. OGG is needed for
34 # Firefox's audio tag. FF doesn't support MP3, some others support 34 # Firefox's audio tag. FF doesn't support MP3, some others support
35 # MP3 but not OGG. 35 # MP3 but not OGG.