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