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

@qwksilver You'll need to use something like find to get all the gifs. Rough sketch:

find . -path '*.gif' | while read path; do
  ...
done

Then do the rest of the changes you want. :)