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。 参考 https://unix.stackexchange.com/questions/103398/datetime-stamp-when-running-history-command-in-zsh-shell

続きを読む

プロフィール画像

ironsand

語学好きのプログラマーです

Railsエンジニア

Yokohama