Hola, de vez en cuando me paso por el foro desde linux que seguro ya conocen.
Esta vez encontre este post sobre Peek un programa para grabar la terminal como un archivo gif.
http://blog.desdelinux.net/grabar-la-terminal/
Espero que les sea de utilidad.
Saludos.