changeset 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 59fc5829ece3
children 953088656131 889ae46036fb
files makeWebAudio.sh
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/makeWebAudio.sh	Wed Feb 19 12:44:52 2020 +0000
+++ b/makeWebAudio.sh	Wed Feb 19 12:45:04 2020 +0000
@@ -24,10 +24,10 @@
     name=`basename $1 .abc`
     tunedir="$2"
 
-    abc2midi $1 -o $tunedir/${name}.tmp.mid
+    abc2midi $1 -o $tunedir/${name}.tmp.mid -silent
     mv $tunedir/${name}.tmp.mid $tunedir/${name}.mid
-    timidity -OwM $3 -o $tunedir/${name}.wav $tunedir/${name}.mid
-    lame -m m -V 9 --quiet $tunedir/${name}.wav $tunedir/${name}.tmp.mp3
+    timidity --quiet -OwM $3 -o $tunedir/${name}.wav $tunedir/${name}.mid
+    lame -m m -V 9 --silent $tunedir/${name}.wav $tunedir/${name}.tmp.mp3
     mv $tunedir/${name}.tmp.mp3 $tunedir/${name}.mp3
     # Timidity can generate OGG directly. But we need to generate WAV
     # for lame, and oggenc produces smaller output. OGG is needed for