#!/bin/sh

f1=`ls ????????.0[3456789]????.cv.vel.gif`
f2=`ls ????????.1[01]????.cv.vel.gif`
files="$f1 $f2"

gifsicle --loopcount=0 --colors=256 $files > movie.gif