To make history timestamps permanent for the current user;

$ echo ‘export HISTTIMEFORMAT=”%F %T “‘ >> ~/.bashrc
$ source ~/.bashrc