From 69a7371808f8e0fe3d0ef3052482f2956821bd8c Mon Sep 17 00:00:00 2001 From: "Antonio J. Delgado" Date: Thu, 5 May 2022 16:54:34 +0300 Subject: [PATCH] restore history options --- bash_rc | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/bash_rc b/bash_rc index 2d4b8ca..18081ac 100755 --- a/bash_rc +++ b/bash_rc @@ -31,11 +31,14 @@ source "${HOME}/.bashrc_ps1" # Format history records export HISTTIMEFORMAT="[%s] " + # Append to history file -PROMPT_COMMAND="history -a; $PROMPT_COMMAND" +#PROMPT_COMMAND="history -a; $PROMPT_COMMAND" + # Share between shells -PROMPT_COMMAND="history -c; history -r; $PROMPT_COMMAND" -# Don't overwrite it history +#PROMPT_COMMAND="history -c; history -r; $PROMPT_COMMAND" + +# append to the history file, don't overwrite it shopt -s histappend # Unlimited history export HISTFILESIZE=