[D9u]

I use ffmpeg to record my desktop and convert the output to animated gif.

I'm not sure about OS X, but FreeBSD and Linux distros should have ffmpeg in ports/repos.

There's also byzanz for ubuntu.