make_movie.sh

Go to the documentation of this file.

#!/bin/zsh
script=${0##*/}
 
if [ -z $JPP_DIR ]; then
    echo "Variable JPP_DIR undefined."
    exit
fi
 
source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
 
set_variable:  DEBUG       MOVIE_DEBUG       3
set_variable:  DELAY       MOVIE_DELAY       2
set_variable:  WORKDIR     MOVIE_WORKDIR     ./
 
if do_usage $*; then
    usage "$script (input file)+"
fi
 
if (( $# == 0 )); then
    fatal "Wrong number of arguments."
fi
 
echo -n "creating animated gif.."
 
mkdir  $WORKDIR/.$$
 
export MAGICK_TMPDIR=$WORKDIR/.$$
export MAGICK_MEMORY=$((1<<12))
 
convert \
    -delay  $DELAY                \
    -limit memory $MAGICK_MEMORY  \
    -limit map    $MAGICK_MEMORY  \
    $argv[1,-1]                   \
    $WORKDIR/.$$/m.gif
 
if (( $? == 0 )); then
    echo "OK"
else
    fatal "failed"
fi
 
ffmpeg \
    -i $WORKDIR/.$$/m.gif         \
    -pix_fmt yuv420p              \
    m.mp4
    
rm -rf $WORKDIR/.$$
 
echo "enjoy watching m.mp4"