on linux it is does have timing recording try with script -tshell_recording.time shell_recording.script bash scriptreplay -t shell_recording.time shell_recording.script
on linux it is does have timing recording try with script -tshell_recording.time shell_recording.script bash scriptreplay -t shell_recording.time shell_recording.script