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

restore history options

Browse source
This commit is contained in:
Antonio J. Delgado 2022-05-05 16:54:34 +03:00
parent fc198102de
commit 69a7371808
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
bash_rc
View file

@ -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=