adelgado/my_bashrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

dont' share bash history between shells

Browse source
This commit is contained in:
Antonio J. Delgado 2021-10-18 13:32:49 +03:00
parent e8e4365b16
commit bcf6916f18
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
bash_rc
View file

@ -31,8 +31,10 @@ source "${HOME}/.bashrc_ps1"
# Format history records # Format history records
export HISTTIMEFORMAT="[%s] " export HISTTIMEFORMAT="[%s] "
# Append to history file and share between shells # Append to history file
PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND" #PROMPT_COMMAND="history -a; $PROMPT_COMMAND"
# Share between shells
PROMPT_COMMAND="history -c; history -r; $PROMPT_COMMAND"
# Don't overwrite it history # Don't overwrite it history
shopt -s histappend shopt -s histappend
# Unlimited history # Unlimited history