Hacker News new | ask | show | jobs
by zooz 5327 days ago
It appends the "new" history lines to a $HISTFILE by default, unless other file is specified.
1 comments

Thanks, that's what I was missing: -a can have a file. Cool stuff and thanks to all for explaining it. http://unixhelp.ed.ac.uk/CGI/man-cgi?history does not mention the command line argument, http://linux.die.net/man/1/bash does.
You're welcome, it took me a bit of time to come up with this idea, of course, it's not perfect, but does the job pretty well.