Move bash history to bashrc and add time.

2 files changed, 4 insertions, 2 deletions

diff --git a/.bashrc b/.bashrc
index df9d24f..721f68d 100644
--- a/.bashrc
+++ b/.bashrc
@@ -2,6 +2,10 @@
 
 # Prompt for Bash
 export PS1='\[\033[1;33m\]$(prompt)\[\033[0m\]'
+export HISTCONTROL=ignoredups
+export HISTIGNORE="gst:gl"
+export HISTTIMEFORMAT="%F %R:%S "
+export PROMPT_COMMAND="history -a;history -n"
 
 # Verify before running history command
 shopt -s histverify
diff --git a/.profile b/.profile
index c4a6025..a63a4b3 100644
--- a/.profile
+++ b/.profile
@@ -4,8 +4,6 @@ export LC_TIME=de_DE.UTF-8
 export EDITOR=vim
 export TERM=xterm
 export HISTSIZE=65535
-export HISTCONTROL=ignoreboth
-export PROMPT_COMMAND="history -a;history -n"
 
 export PATH=$HOME/.local/bin:$PATH
 export PATH=$HOME/.local/bin/`hostname`:$PATH