From 1fe4f059d6d8927772924d922b7d33e5711d345f Mon Sep 17 00:00:00 2001
From: Mehdi Sadeghi <mehdi@mehdix.org>
Date: Wed, 7 Jul 2021 18:16:43 +0200
Subject: Move bash history to bashrc and add time.

---
 .bashrc  | 4 ++++
 .profile | 2 --
 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
-- 
cgit v1.2.3