bashのhistoryに時刻を表示する

追記: HISTTIMEFORMATが使用可能なbashのバージョンを明記。あざーっす＞ id:kdaiba

---

bash 3.0から(2.05bを含んでそれより以前のはダメ)使用可能なHISTTIMEFORMATという環境変数を使うと、ヒストリに時刻も記録できると同僚に教えてもらた。これは便利。

$ HISTTIMEFORMAT='%Y-%m-%d %T '; export HISTTIMEFORMAT
$ man ci
$ man co
$ shutdown now && echo nigeteeeee | wall && shutdown -c
$ history
    1  2008-01-17 15:42:48  HISTTIMEFORMAT='%Y-%m-%d %T '; export HISTTIMEFORMAT
    2  2008-01-17 15:42:52  man ci
    3  2008-01-17 15:42:55  man co
    4  2008-01-17 15:43:02  shutdown now && echo nigeteeeee | wall && shutdown -c
    5  2008-01-17 15:43:05  history