matplotlib/matplotlib — pull request #1337 by jakevdp (2012-10-05 23:59:24+00:00)
Title: WIP: allow animations to be saved as animated GIFs

This is a basic enhancement that allows animations to be saved as animated GIFs, using the ImageMagick ``convert`` utility. Still to do:

- write a pipe-based version. Currently it only operates using temporary files (I'm not entirely sure how to do this...)
- should other command-line options be built in? (a list of available options is here: http://www.imagemagick.org/script/convert.php)

Any input would be appreciated!