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