linux bash history 命令增加时间戳或增加带时间戳的.history-timestamp