bash history: keep space-prefixed cmds

rroman81 · Jan 23, 2020 · c6ba8e9 · c6ba8e9
1 parent 4e1de7f
commit c6ba8e9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.bash_profile b/.bash_profile
@@ -47,7 +47,7 @@ export HISTTIMEFORMAT='%F %T '
 
 # keep history up to date, across sessions, in realtime
 #  http://unix.stackexchange.com/a/48113
-export HISTCONTROL="erasedups:ignoreboth"       # no duplicate entries
+export HISTCONTROL="ignoredups"       # no duplicate entries, but keep space-prefixed commands
 export HISTSIZE=100000                          # big big history (default is 500)
 export HISTFILESIZE=$HISTSIZE                   # big big history
 type shopt &> /dev/null && shopt -s histappend  # append to history, don't overwrite it