#! /bin/bash 
# Last edited on 2024-03-06 12:01:27 by stolfi

name="$1"

name="${name/.gif/}"
ifile="${name}.gif"
ofile="${name}.mp4"

if [[ ! ( -s "${ifile}" ) ]]; then
  echo "** file '${ifile}' not found" 1>&2 ; exit 1
fi

# No audio channel:
ffmpeg -i ${ifile} -q:v 0 -an ${ofile}