Header 説明
このプログラムはタイミング情報を使って写しを再生する。
このタイミング情報により、以前に script で記録したときと
同じスピードで出力が行われることが保証される。
script で記録を行ったのと同じ端末で実行したときにしか、
正しく動作することが保証されない。
タイミング情報は、-t パラメータをつけて script を実行したときに、
標準エラーに出力される。
デフォルトでは、表示される写しは
\*(Ltypescript\*(R という名前であると仮定されるが、
第 2 パラメータで他のファイルを指定することもできる。
第 3 パラメータが存在する場合は、時間の除数 (divisor) として使われる。
例えば除数 2 を指定すると、写しは 2 倍の速度で再生される。