Converts a mov file (most video formats actually) into a reasonable gif

mov2gif.sh

#!/bin/bash

if [ -z "$1" ] ; then
  echo "Usage: $0 <mov_file>"
  exit 1
fi

MOVFILE="$1"
GIFFILE="$(basename "$MOVFILE" .mov).gif"

TEMPDIR="$(mktemp -d)"

echo "============================"
echo "INPUT:  $MOVFILE"
echo "OUTPUT: $GIFFILE"
echo "TEMP:   $TEMPDIR"
echo "============================"

LOGLVL="-v warning"
PALETTE="$TEMPDIR/palette.png"
FILTERS="fps=10,scale=640:-1:flags=lanczos"

echo "[ Creating palette ]"
ffmpeg $LOGLVL -i "$MOVFILE" -vf $FILTERS,palettegen -y "$PALETTE"

echo "[ Compiling video ]"
ffmpeg $LOGLVL -i "$MOVFILE" -i "$PALETTE" -lavfi "$FILTERS [out]; [out][1:v] paletteuse" -y "./$GIFFILE"

ls -lh "./$GIFFILE"
rm -rf "$TEMPDIR"