Ttygif converts a ttyrec file into animated gif (need a X11 terminal). WWW: https://github.com/icholy/ttygif