Awesome.
I've created animated gifs from the command line a few times. It might be a pain in the ass, but there's a lot that you can do surprisingly easily if you take the time to look up how. I've never really done it with python though. Always thought about creating a tool to help me make gifs, but never got around to it.

Perhaps I should mess around with doing some stuff and create a little library of useful bits of code for making little fun gifs. :)