batch command for creating movie

[Ryo Furue]

Ben,

| Thank you for shwoing me the possibility. I am still looking at the
| web site you show. But I still have difficulity to figure out the
| solution. Which binary file that I should download? Or I have to
| build the binary from the sources.

The command you need is either "convert" or "ffmpeg".
I think most Linux distributions offer packages for
these utilities because they are really popular.
That means, all you have to do is to "download" and
"install" appropriate packages.  Which packages you
have to install and how to do it depend on which Linux
distribution you use.  But I imagine "convert" is
contained in one or other "imagemagick" package.
"ffmpeg" is probably contained in a "ffmpeg" package.

I'm not familiar with ffmpeg.  With imagemagick, you'll
typically do something along the lines of

  $ convert ss0??.gif  mymovie.gif

to generate a GIF animation "mymovie.gif" from
a set of shapshots ss001.gif, ss002.gif, ss003.gif,  . . .
I hope you get the idea.

Regards,
Ryo