mov2gif.sh

#!/bin/sh -e

# Converts a Quicktime movie to a GIF aniamtion.
# Useful for screen recordings.
# Preliminary step with palette required to make it look good
# without dithering artifacts.

FPS=10
PALETTE=$(mktemp).png
MOV=$1
GIF=$2

[[ -n "$MOV" && -n "$GIF" ]] || {
    echo "Syntax: $0 [mov] [gif]"
    exit 1
}

which ffmpeg || {
    echo "Error: ffmpeg not found"
    exit 1
}

ffmpeg -i "$MOV" -vf palettegen $PALETTE
ffmpeg -i "$MOV" -i $PALETTE -r $FPS -lavfi paletteuse "$GIF"