BTW: I think this one setting would clutter the prompt too much: PROMPT_COMMAND="history -a; \$PROMPT_COMMAND" The current default prompt is fine for me.
BTW: COMMAND= "history -a; \$PROMPT_COMMAND"
I think this one setting would clutter the prompt too much:
PROMPT_
The current default prompt is fine for me.