have you heard of script/scriptreplay? script --log-timing file.tm --log-out script.out # do something in a terminal session ... scriptreplay --log-timi

have you heard of script/scriptreplay? script --log-timing file.tm --log-out script.out # do something in a terminal session ... scriptreplay --log-timing file.tm --log-out script.out # replay it, possibly pausing and increasing/decreasing playback speed