File tree Expand file tree Collapse file tree 1 file changed +7
-5
lines changed Expand file tree Collapse file tree 1 file changed +7
-5
lines changed Original file line number Diff line number Diff line change @@ -5,15 +5,17 @@ about-plugin 'improve history handling with sane defaults'
55# variable when the shell exits, rather than overwriting the file.
66shopt -s histappend
77
8- # erase duplicates; alternative option: HISTCONTROL=ignoredups
9- : " ${HISTCONTROL:= ignorespace: erasedups} "
8+ # 'ignorespace': don't save command lines which begin with a space to history
9+ # 'erasedups' (alternative 'ignoredups'): don't save duplicates to history
10+ # 'autoshare': automatically share history between multiple running shells
11+ : " ${HISTCONTROL:= ignorespace: erasedups: autoshare} "
12+
13+ safe_append_preexec ' _bash_it_history_auto_save'
14+ safe_append_prompt_command ' _bash_it_history_auto_load'
1015
1116# resize history to 100x the default (500)
1217: " ${HISTSIZE:= 50000} "
1318
14- # Flush history to disk after each command.
15- export PROMPT_COMMAND=" history -a;${PROMPT_COMMAND} "
16-
1719function top-history() {
1820 about ' print the name and count of the most commonly run tools'
1921
You can’t perform that action at this time.
0 commit comments