#!/bin/bash
echo 'symlinks'
export j=0; for i in *.gif ; do ln -s $i $( printf '%06d.gif' $j) ; j=$(( $j + 1 )); done 
echo 'ffmpeg'
ffmpeg -i %06d.gif -r 20 -b 192000 sea.flv
echo 'rm symlinks'
for i in *.gif ; do [[ -L $i ]] && rm $i ; done
# convert 20071107.gif -resize 425x330!  sea.jpg