Grabando vídeo de lo que hacemos en pantalla
IMPORTANTE: Gracias a un comentario a este mini-tutorial he descubierto istanbul. Permite grabar directamente desde el panel de gnome, sin ninguna complicación. Además, el vídeo generado está en formato ogg, con lo que más libre imposible. He compilado el paquete …