====== History cmds time stamp======

  echo 'export HISTTIMEFORMAT="%d/%m/%y %T "' >> ~/.bash_profile