Add bash history settings

.bashrc

@@ -27,6 +27,16 @@ case $- in
 esac
 
 
+# Don’t put duplicate lines or lines starting with space in the history.
+# See bash(1) for more options.
+HISTCONTROL=ignoreboth
+# append to the history file, don’t overwrite it
+shopt -s histappend
+# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
+#HISTSIZE=4000
+#HISTFILESIZE=8000
+HISTTIMEFORMAT='%F %T '
+
 # set PS1
 case "$TERM" in
 	xterm-color|*-256color) color_prompt=yes;;