38 lines
1.0 KiB
Bash
Executable File
38 lines
1.0 KiB
Bash
Executable File
#!/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 -density 96 $graphicsdir/${name}.eps $builddir/${tmpname}.png
|
|
|
|
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}.png $builddir/${name}.png
|
|
mv $builddir/${tmpname}.mid $builddir/${name}.mid
|
|
mv $builddir/${tmpname}.mp3 $builddir/${name}.mp3
|
|
rm $builddir/${tmpname}.wav
|
|
done
|