Convert your Gif to MP4 (for video editing) using this simple bash script
- on mac
$ brew install imagemagick ffmpeg
- on ubuntu/debian
$ apt-get install imagemagick ffmpeg
Copy all your GIF' files in a same location Add the convert.sh in the same location Add execution privilege for convert.sh
$ chmod 744 convert.sh
Then simply run the script. All your MP4 will be in the output folder
$ ./convert.sh