Resize an animated gif
This is really easy using the tool that is also ideal for making them — gifsicle.
An old post here shows a file called dpy4b.gif, but it is pretty large — about 6MB. Say I want to reduce it to being 100 pixels wide, and with the same aspect ratio. This is all I need:
gifsicle --resize-width 100 > dpy4b_smaller.gif < dpy4b.gif
and now I get a file about 700kB. And quite blurry, but that’s not the point.