On Wed, 10 Jul 2013, ge...@cs.hmc.edu wrote: ...
What might be cooler would be to merge all the history lines from all shells, in timestamp order. But given the current history file format, that seems...hard.
PROMPT_COMMAND='history -a "$HISTFILE"' -- Chris F.A. Johnson, <http://cfajohnson.com/> Author: Pro Bash Programming: Scripting the GNU/Linux Shell (2009, Apress) Shell Scripting Recipes: A Problem-Solution Approach (2005, Apress)