Use xvidcap
example: xvidcap --fps 16 --time 10.0 --cap_geometry 160X120 --file
anim.mpg
use ffmpeg to generate various formats such as mpg
example: ffmpeg -b 100000 -r 16 -i out%03d.jpg video.avi
To convert your images to gif, you can use the convert tool
from the imagemagick package
example: convert img.jpg img.gif
To convert large sets of images, you can use Gilles Debunne's Apply script.
example: Apply convert @ out#.gif to out#.jpg converts the
out*.jpg files to corresponding gif files
Use gifsicle to convert the sequence of gif static images to
a single animated gif file.
example: gifsicle --colors 256 --delay 6 --loop *.gif > anim.gif