Byzanz uses the gstreamer framework, which is massive. It does a video capture which is encoded on the fly to gif (or other formats).

But I upvoted you anyway, because byzanz IMHO is the easiest/fastest screen recorder to use for this kind of task (far better than the more popular recordmydesktop).

I successfully use byzanz with screenkey (from AUR) to record terminal sessions very effectively.