gif to video

gif-to-video.sh

#!/bin/bash

for file in *.gif
do

# get filename minus extension
file1=$(basename "$file")
filename="${file1%.*}"

# convert to individual frames with green screen
convert -background "#00AB39" $file -alpha remove -coalesce temp_gif-%04d.png

# convert images to video. Replace avconv with ffmpeg if necessary
avconv -i temp_gif-%04d.png -vcodec mjpeg -q:v 0 "$file".mp4

# clean the directory of temporary images
rm temp_gif*.png

done