REPLの入出力を記録する
なぜ bsdutils の script を使わなかったのか、その理由を忘れた ^^;
% script -a -f -c zsh
しといてから、REPL使えばいいじゃん。ただ、exit をわすれて、入れ子に起動してしまいそう。
#scriptコマンド
　
以下は記録のために残しておく
「ただし」以降に対応するために、replinをつくって
code:replwrap.sh
#!/bin/zsh
replin | tee -a -i repl.log | repl 2>&1 | tee -a -i repl.log
とする。
replin は、標準入力に repl の終了コマンドがきたら、それを発行してから、終了するラッパー。
(2022/1/14)
　
以下は記録のために残しておく
いろいろ試したけど、
code:replwrap.sh
tee -a -i repl.log | repl 2>&1 | tee -a -i repl.log
でよさそう。
ただし、replの終了コマンドを発行したとき、1つめのteeが残るので、これを終了するのに^D(EOF)を入力する必要がある。