Linux: Add timestamp in history

• Add the timestamp in history command (in ~/.bashrc):

export HISTTIMEFORMAT="%F %T : "

  437  2017-02-06 17:04:28 : history
  438  2017-02-06 17:05:09 : vi ~/.bashrc 
  439  2017-02-06 17:14:46 : history