diff --git a/makeWebItems.sh b/makeWebItems.sh index 803f3f0..922b305 100755 --- a/makeWebItems.sh +++ b/makeWebItems.sh @@ -17,16 +17,21 @@ graphicsdir=$dir/graphics/$1 mkdir -p $builddir -# Now, for each tune, make the tune JPG and sound. +# Now, for each tune, make the tune JPG and sound. Do this to temp +# files and rename into place to make updates as atomic as possible. find $booke -name "*.abc" | sort | while read filename do name=`basename $filename .abc` - convert $graphicsdir/${name}.eps $builddir/${name}.jpg + convert $graphicsdir/${name}.eps $builddir/${name}.jpg.tmp - abc2midi $filename -o $builddir/${name}.mid - timidity -Ow -o $builddir/${name}.wav $builddir/${name}.mid - lame --quiet $builddir/${name}.wav $builddir/${name}.mp3 - rm $builddir/${name}.wav + abc2midi $filename -o $builddir/${name}.mid.tmp + timidity -Ow -o $builddir/${name}.wav.tmp $builddir/${name}.mid.tmp + lame --quiet $builddir/${name}.wav.tmp $builddir/${name}.mp3.tmp + + mv $builddir/${name}.jpg.tmp $builddir/${name}.jpg + mv $builddir/${name}.mid.tmp $builddir/${name}.mid + mv $builddir/${name}.mp3.tmp $builddir/${name}.mp3 + rm $builddir/${name}.wav.tmp done