This looks like quite a dirty hack, but I'll try it.
I wish bash history wasn't so broken. I suppose once upon a time it was ok to assume people only had one shell session at a time.
I wish bash history wasn't so broken. I suppose once upon a time it was ok to assume people only had one shell session at a time.
As far as I can tell, bash deals with multiple shell sessions exactly how I'd expect (and want) it to: an individual terminal doesn't have access to the live session from other terminals, but when you close it it appends it's session to the shared history file, so each session ends up a continuous block in that file.