ikonst

#!/bin/sh
set -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