如何将script.log和time.txt转换为gif文件？

Question

我使用脚本命令制作终端会话的打字稿。

   script --timing=time.txt script.log
   #do something
   #then ctrl+d

并 与之 一起玩scriptreplay。

scriptreplay --timing=time.txt script.log

如何将 script.log和转换time.txt为gif文件？