screencast2gif will record a standard `ffcast` (just like pressing PrtSc) and then ffmpeg will convert it to gif format a short while later
David Todd