bashのヒストリの数を増やす+実行時間を記録する。 {{{ HISTSIZE=50000 HISTTIMEFORMAT='%Y/%m/%d %H:%M:%S ' }}}