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.

Tincho:

Curioso.....

===================
Blog personal
Web: SoloGambas seleccion de articulos dedicados a Gambas
Visita el Curso de Gambas3 ¡¡¡Gratuito!!!

Se puede grabas cualquier parte de la pantalla en realidad.
Creo que puede ajustarse para algunos tutoriales que no necesitan un video.

Saludos.