Animated GIFs in Linux using Gifsicle