The tool that converts a movie file to a compact animation GIF with ffmpeg

mov2gif.sh

#!/bin/bash

if [ $# -lt 1 ]
then
	echo "usage: $0 <input video file>"
fi

INPUT_FILE="$1"
OUTPUT_FILE=`echo ${INPUT_FILE} | sed -E 's/\.[^\.]*$//'`.gif

ffmpeg \
	-i ${INPUT_FILE} \
	-filter_complex "[0:v] fps=10,scale=640:-1,split [a][b];[a] palettegen [p];[b][p] paletteuse" \
	${OUTPUT_FILE}