Convert a video file to high quality gif

video_to_gif.sh

#!/bin/bash


FPS=14
WIDTH=640
PALETTE=/tmp/palette.png
INPUT="$1"
OUTPUT="$2"
KEEP_PALETTE="$3"

if [ "$INPUT" == "" ] || [ "$OUTPUT" == ""]; then
    echo "Usage: video2gif input_file output_file"
    exit 1
fi

ffmpeg -i "$INPUT" -vf 'palettegen' "$PALETTE"
if [ $? -ne 0 ]; then
    exit 1
fi
ffmpeg -i "$INPUT" -i "$PALETTE" -filter_complex "fps=$FPS,scale=$WIDTH:-1:flags=lanczos,paletteuse" "$OUTPUT"
if [ $? -ne 0 ]; then
    if [ "$KEEP_PALETTE" == "" ]; then
        rm "$PALETTE"
    fi
    exit 1
fi

if [ "$KEEP_PALETTE" == "" ]; then
    rm "$PALETTE"
fi