anim.sh

来自「Sfdtd Simple finite-difference time-doma」· Shell 代码 · 共 32 行

#!/bin/bash
# create gif from plt files
# Paul Panserrieu
# last modified: 02-12-2007 07:46:53 PM CET

if [ -z "$1" ]
then
        echo usage: $0 string
	echo "make a gif file named 'animation.gif' from all *string*.plt files in the current directory"
	echo "this script needs 'plotmtv' and 'convert' to be run..."
	echo "[e-mail]"
        exit
else
        n=0
        IMAGES=""

        for file in *$1*.plt
        do
                plotmtv $file -color -noxplot -nodate  -o $file.ps
                convert -scale 600x600 $file.ps $file.ps.png
                rm $file.ps
                IMAGES=`echo $IMAGES $file.ps.png`
                echo $IMAGES
                (( n += 1 ))
                echo " --> $n"
        done

        # '-delay' is 1/100 so 20 represents 5 images/s
        convert -delay 10 $IMAGES animation.gif
        rm -f $IMAGES
fi