Little shell script to make a (nice-looking!) animated gif from a video with ffmpeg.

gif.bash

#!/bin/bash
set -euo pipefail

if [[ $# < 1 || $# > 2 ]]; then
	echo "usage: $0 input.mov [filtergraph]" 1>&2
	exit 1
fi

infile="$1"; shift
outfile="${infile%.*}.gif"

if [[ $# > 0 ]]; then
  filter="$1, "
else
  filter=""
fi

ffmpeg -i "$infile" -filter "$filter"'split[s1][s2], [s1]palettegen[p], [s2]fifo[s2], [s2][p]paletteuse' "$outfile"