4if [ -z $JPP_DIR ]; then
5 echo "Variable JPP_DIR undefined."
9source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
11set_variable: DEBUG MOVIE_DEBUG 3
12set_variable: DELAY MOVIE_DELAY 2
13set_variable: WORKDIR MOVIE_WORKDIR ./
16 usage "$script (input file)+"
20 fatal "Wrong number of arguments."
23echo -n "creating animated gif.."
27export MAGICK_TMPDIR=$WORKDIR/.$$
28export MAGICK_MEMORY=$((1<<12))
32 -limit memory $MAGICK_MEMORY \
33 -limit map $MAGICK_MEMORY \
44 -i $WORKDIR/.$$/m.gif \
50echo "enjoy watching m.mp4"