zsh その７

[0258 名無しさん＠お腹いっぱい。 2014/01/04(土) 21:20:50.10]

zsh-5.0.2 から zsh-5.0.4 に上げたら
appendhistory で $HISTFILE に elapsed times が残るようになってるじゃないか。
よかよか。追加タイミング変わったんだね。実行完了時に。