bash history

[Peter Gueckel]

Andy Blanchard wrote:

> It works, but not retrospectively.  If you try running one of the
> duplicated commands, it will strip out all of the duplicate entries then.
> You'll also need to run "history -w" to update the history file, otherwise
> it won't get updated until you exit the shell.

Thanks. It's not critical :-) I could just flush the contents of the history file, or 
wait for duplicates to be stripped out over time. I was just fooling around. I do have 
it set up with the correct variable, now, like you showed: HISTCONTROL=erasedups.