Link: How to record and replay a terminal session on Linux