Converting MNG or GIF to video? [solved]

Interesting how after hours of searching last night I couldn't quite find the right solution and today I got it with one search query. I guess I just had to search for the right thing...

Anyway, here is the solution:

The first is a command from the ImageMagick suite which converts every frame in a given GIF animation into a JPG file.

The second command takes those JPG's and stitches them into an AVI file. You can also use other extensions like .ogg which will make a nice OGG video.

With -r you can set the framerate to make the video slower or faster.

Yay!

Here is a result: http://www.libervis.com/files/libervis_logo.ogg

So I now know how to create a GIF animation and convert it to video and add audio to it using only Inkscape, ImageMagick, ffmpeg and PiTiVi.

Once I know the process and have all the commands saved up handy this is actually not a bad way to do videos on GNU/Linux considering the alpha state of most freedomware video editors.

Also, for animations where something specific needs to be done it may actually be easier to do it this way than using a full application.

Cheers