#!/bin/bash src=foo.fimg maxi=179 grabopt=" s 320x240 -vv -p 0 -n 100 -c none " for foo in $(seq 0 $maxi) do grabvidseq -$grabopt -o $src fval=$(echo "$foo / $maxi" | bc -l) ./t -k $fval -v ctr2x2 $src echo $foo $fval nom=$(printf "v_%03d.pnm" $foo) cp out.pnm $nom echo $nom done convert -delay 20 v_*.pnm foo.gif