Batch convert a directory of gifs into mp4

convert-gifs.sh

#!/usr/bin/bash
# Convert *.gif into *.mp4, skip if already exists.

outdir="."

for path in *.gif; do
  out="${outdir}/${path/.gif/}.mp4"
  [[ -f "$out" ]] && continue
  ffmpeg -f gif -i "${path}" "${out}"
done

Feel free to copy-and-paste the body into your shell while in the dir with *.gif files, or download the file and:

$ chmod +x convert-gifs.sh  # Make it executable
$ ./convert-gifs.sh

for path in *.gif; do out="${outdir}/${path/.gif/}.mp4"; [[ -f "$out" ]] && continue; ffmpeg -f gif -i "${path}" -pix_fmt yuv420p "${out}"; done
That way the output works in Quicktime