view makeWebItems.sh @ 61:3464d5154f49

Fix temp file name to convert. Convert works out what it is converting to from the extension. So adding .tmp stopped it converting to JPG. Doh!
author Jim Hague <jim.hague@acm.org>
date Mon, 05 Mar 2012 09:33:07 +0000
parents 6f4667d1372d
children 4754b1249dad
line wrap: on
line source

#!/bin/bash
#
# Make items required for the website but not for the book.
# They go into web/<book>.
#

if [ $# != 1 ]; then
    echo "Usage: makeWebItems.sh <book dir name>"
    exit 1
fi

dir=`pwd`

booke=$dir/$1
builddir=$dir/web/$1
graphicsdir=$dir/graphics/$1

mkdir -p $builddir

# 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`
        tmpname=${name}.tmp
        convert $graphicsdir/${name}.eps $builddir/${tmpname}.jpg

        abc2midi $filename -o $builddir/${tmpname}.mid
        timidity -Ow -o $builddir/${tmpname}.wav $builddir/${tmpname}.mid
        lame --quiet $builddir/${tmpname}.wav $builddir/${tmpname}.mp3

        mv $builddir/${tmpname}.jpg $builddir/${name}.jpg
        mv $builddir/${tmpname}.mid $builddir/${name}.mid
        mv $builddir/${tmpname}.mp3 $builddir/${name}.mp3
        rm $builddir/${tmpname}.wav
    done