There are various ways to record the keystrokes+output of a terminal session.