zshでhistoryに実行時間も残す方法
bash
だとHISTTIMEFORMAT="[%F %T] "
とか~/.bashrc
に書いておけばログに実行した日時も残しておけるんだけどzsh
だとHISTTIMEFORMAT
がないらしいので方法を調べてみた。
設定しなくてOK
デフォルトで使えるようになってるらしい
$ history -E
1 2.12.2013 14:19 history -E
$ history -i
1 2013-12-02 14:19 history -E
$ history -D
1 0:00 history -E
2 0:00 history -i
だけでOK。