Converts videos to gifs using ffmpeg. It creates a color palette to keep gif sizes low; hard-coded 15fps.

to-gif.sh

#!/bin/bash

if [[ "$#" -ne 2 ]]; then
  echo "Usage: to-gif.sh <input video> <output gif>"
  exit 1
fi

set -ex

# Generate a palette to cut down on space
PALETTE_PNG="/tmp/$(openssl rand -hex 4).png"
ffmpeg -hide_banner -loglevel warning  -i "${1}" -vf fps=15,scale=320:-1:flags=lanczos,palettegen "${PALETTE_PNG}"

# Apply palette
ffmpeg -hide_banner -loglevel warning  -i "${1}" -i "${PALETTE_PNG}" -filter_complex "fps=15,scale=-1:-1:flags=lanczos[x];[x][1:v]paletteuse" "${2}"