Converts the given GIFs to MP4 and WEBM

convertgif.sh

#!/usr/bin/env zsh

path='../public/img/managedidentity'
files=(
  "${path}/configure-logic-app"
  "${path}/create-logic-app"
  "${path}/enable-managed-identity"
  "${path}/grant-microsoft-graph-permission"
  "${path}/run-logic-app"
  "${path}/view-managed-identity-service-principal"
)

for file in "${files[@]}"; do
  echo "$file"
  $(/usr/local/Cellar/ffmpeg/4.3.1_1/bin/ffmpeg -loglevel quiet -an -i "$file.gif" -vcodec h264 -strict -2 -pix_fmt yuv420p "$file.mp4" -y)
  $(/usr/local/Cellar/ffmpeg/4.3.1_1/bin/ffmpeg -loglevel quiet -an -i "$file.gif" -c vp9 -b:v 0 -crf 41 "$file.webm" -y)
done

Updated MP4 conversion to support QuickTime ensuring that MP4s now work in Safari and iOS.
Added -an flag to ignore audio