convert animated gif to video on linux server while preserving frame rate
how do I convert an animated gif to a video (e.g. h264@mp4) programmatically on a linux server? I need this to process user generated content which should be output as several defined video formats; therefore its possible, that users may want to process animated gif files. I already have a set of working php scripts to transcode videofiles to specific formats (like vpx@webm and h264@mp4, scaled to specific resolutions) using avconv, but herefore I need video input. Usual ways seem to be to extract the frames of the gif and then encode it, like convert file.gif file%03d.png avconv -i file%03d