gif2mp4 en linux

convert day.gif pic%05d.png
ffmpeg -r 10 -i pic%05d.png -y -an video.mp4
rm pic*.png


bash: (gif2mp4.sh)

#!/bin/bash
for file in *.gif; do
convert $file pic%05d.png
ffmpeg -r 10 -i pic%05d.png -y -an $file.mp4
rm pic*.png
done