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"