Cómo grabar la pantalla en Linux en formato GIF

¡Hola amigos de Geeky Theory! Hoy vamos a aprender a crear animaciones en GIF a partir de una grabación de pantalla en Linux. Es algo que llevo tiempo queriendo hacer, ya que para pequeñas demostraciones en tutoriales no vale la pena grabar un vídeo y es suficiente con un GIF.

OTTO, la primera cámara que graba GIFS animados

Ha sido creada por Next Thing Co [http://www.nextthing.co/]: “Construimos OTTO [https://www.youtube.com/watch?v=dXunOI2YdL8] porque queríamos crear una nueva forma de usar una cámara digital”. Para su prototipo están usando un módulo de Raspberry Pi, “Con la ayuda y el aliento de nuestros amigos