/bashtimestamps

# For bash prompt itself
export PROMPT_COMMAND="echo -n \[\$(date +%H:%M:%S)\]\ "
# For .bash_history
export HISTTIMEFORMAT="%d/%m/%y %T "