animation cursor file (.ani) to animation gif file (.gif) converter

ani2gif.sh

#!/bin/sh
# dependencies:
#   - imagemagick
#   - ani2ico (https://bbs.archlinux.org/viewtopic.php?id=151153)
set -ue
PATH='/usr/bin:/bin'
IFS=' 	
'

case "${1:-}" in
	*.ani) ;;
	*)
		printf 'provide .ani file as an argument.\n'
		exit 1
		;;
esac

./ani2ico $1
icos=$(ls -v ${1%%.ani}*.ico)

convert -dispose background -layers optimize -loop 0 -delay ${2:-10} $icos out.gif

rm -f -- $icos