#!/bin/bash GIFURL="$1" GIF=$( basename "$GIFURL" ) FMT=cursor_%03d.png if [ ! -f "$GIF" ] ; then wget "$GIFURL" -O "$GIF" fi convert -coalesce "$GIF" $FMT FRAMES=$( ls cursor_*.png | wc -l ) INCR=$( echo 4k 100 $FRAMES / p | dc ) cat <