linux增加history时间戳

增加环境变量到/etc/profile

export HISTTIMEFORMAT="%Y-%m-%d %H:%M:%S "
export HISTSIZE=9999