21 lines
552 B
Bash
21 lines
552 B
Bash
# don't put duplicate lines or lines starting with space in the history.
|
|
# See bash(1) for more options
|
|
HISTCONTROL=ignoreboth
|
|
|
|
##
|
|
## history: http://mywiki.wooledge.org/BashFAQ/088
|
|
##
|
|
|
|
# Big history
|
|
HISTFILESIZE=10000
|
|
HISTSIZE=10000
|
|
HISTTIMEFORMAT="%Y-%m-%d %H:%M:%S "
|
|
|
|
# history -a causes an immediate write of all new history lines
|
|
# (instead of upon shell exit)
|
|
PROMPT_COMMAND="history -a"
|
|
|
|
# histappend which causes all new history lines to be appended, and ensures
|
|
# that multiple logins do not overwrite each other's history
|
|
shopt -s histappend
|