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 ++++
 1 file changed, 4 insertions(+)

(limited to '.bashrc')

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
-- 
cgit v1.2.3